Výpis publikací

2008

1. Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking

   BARNAT, Jiří, Luboš BRIM, Pavel ŠIMEČEK a Michael WEBER. Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking. In Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg: Springer-Verlag, 2008, s. 48-62. ISBN 978-3-540-78799-0.

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