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. Online. In 23rd IEEE International Parallel & Distributed Processing Symposium. IEEE: IEEE. s. 201-212. ISBN 978-1-4244-3751-1

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