Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2005

  1. BARNAT, Jiří, Luboš BRIM a Jakub CHALOUPKA. From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electronical Notes in Theoretical Computer Science, Elsevier, 2005, roč. 2005, č. 133, s. 21-39. ISSN 1571-0661.
  2. 2004

  3. BARNAT, Jiří, Luboš BRIM a Jakub CHALOUPKA. Distributed Memory LTL Model Checking Based on Breadth First Search. Brno: Faculty of Informatics, Masaryk University Brno, 2004. 57 s. FIMU-RS-2004-07.
  4. BARNAT, Jiří, Luboš BRIM a 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. s. 17-34, 18 s. ISBN 3-902457-03-1.
  5. 2003

  6. BARNAT, Jiří, Luboš BRIM a Jakub CHALOUPKA. Parallel Breadth-First Search LTL Model-Checking. In 18th IEEE International Conference on Automated Software Engineering (ASE'03). Montreal: IEEE Computer Society, 2003. s. 106-115, 10 s. ISBN 0-7695-2035-9.
Zobrazit podrobně
Zobrazeno: 21. 2. 2020 05:30