Publication Records

ROČKAI, Petr, Jiří BARNAT, Luboš BRIM and Milan ČEŠKA. DiVinE 2.0. 2009.

BARNAT, Jiří and Ivana ČERNÁ. Distributed breadth-first search LTL model checking. Formal Methods in System Design. Springer Netherlands, 2006, vol. 29, No 2, p. 117-134. ISSN 0925-9856.

BARNAT, Jiří, Luboš BRIM and Jakub CHALOUPKA. From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electronical Notes in Theoretical Computer Science. Elsevier, 2005, vol. 2005, No 133, p. 21-39, 10 pp. ISSN 1571-0661.

BARNAT, Jiří, Luboš BRIM and Jakub CHALOUPKA. From Distributed Memory Cycle Detection to Parallel LTL Model Checking. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004). Linz, Austria: Institute for Systems Engineering & Automation, Kepler university Linz, 2004, p. 17-34. ISBN 3-902457-03-1.