Vojěch Forejt

2005

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]