Jiří Barnat

Jiří Barnat

Masaryk University, Faculty of Informatics
Verified email at fi.muni.cz
Cited by 3402
Metamorphic Robots Parallel Verification Model Checking Algorithm Engineering
Tom T.P. Franken

Tom TP Franken

PhD Candidate, Eindhoven University of Technology
Verified email at tue.nl
Cited by 3
Software Verification Parallel Verification Graph Theory