Martin Leucker


Jiří Barnat, Luboš Brim, and Martin Leucker:
Parallel Model Checking and the FMICS-jETI Platform,
The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007), IEEE Computer Society Press, 2007. [bibtex]


Jiří Barnat, Vojěch Forejt, Martin Leucker, and Michael Weber:
DivSPIN – A SPIN compatible distributed model checker,
Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation, 2005, 95–100. [bibtex]