Kees Verstoep

2009

Kees Verstoep, Henri Bal, Jiří Barnat, and Luboš Brim:
Efficient Large-Scale Model Checking,
23rd IEEE International Parallel & Distributed Processing Symposium (IPDPS 2009), IEEE, 2009. [bibtex]