Michael Weber

2008

Jiří Barnat, Luboš Brim, Pavel Šimeček, and Michael Weber:
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking,
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)., Springer, 2008, volume 4963 of LNCS, 48–62. [bibtex]

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]