Výpis publikací

BARNAT, Jiří a Pavel MORAVEC. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Formal Methods: Applications and Technology. Berlin, Heidelberg: Springer-Verlag, 2007, s. 316-330. ISBN 978-3-540-70951-0.

BRIM, Luboš. Distributed Verification: Exploring the Power of Raw Computing Power. In 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006). Bonn, Germany: TU Munchen, 2006, s. 23-34, 15 s. ISBN 3-540-70951-7.

BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Pavel MORAVEC; Petr ROČKAI a Pavel ŠIMEČEK. DiVinE -- A Tool for Distributed Verification. In Computer Aided Verification. Berlin: Springer Verlag, 2006, s. 278-281. ISBN 978-3-540-37406-0.

BARNAT, Jiří a Pavel MORAVEC. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Proceedings of the 5th International Workshop on Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006). Bonn, Germany: University Bonn, 2006, s. 20-34.

BRIM, Luboš a Martin LEUCKER. Special Issue on Parallel and Distributed Verification - Foreword. Formal Methods in System Design. Springer Netherlands, 2006, roč. 29, č. 2, s. 115-116. ISSN 0925-9856.