Výpis publikací

2009

1. Efficient Large-Scale Model Checking

   VERSTOEP, Kees, Henri E. BAL, Jiří BARNAT a Luboš BRIM. Efficient Large-Scale Model Checking. In 23rd IEEE International Parallel & Distributed Processing Symposium. IEEE: IEEE, 2009, s. 201-212. ISBN 978-1-4244-3751-1.

   Podrobněji: https://is.muni.cz/publication/834666/cs