Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

  1. DiVinE 2.0 (software)
    ROČKAI, Petr, Jiří BARNAT, Luboš BRIM a Milan ČEŠKA. DiVinE 2.0. 2009.
  2. 2006

  3. BARNAT, Jiří a Ivana ČERNÁ. Distributed breadth-first search LTL model checking. Formal Methods in System Design, Springer Netherlands, 2006, roč. 29, č. 2, s. 117-134. ISSN 0925-9856.
  4. 2005

  5. 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.
  6. 2004

  7. 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.
Zobrazit podrobně
Zobrazeno: 25. 2. 2020 11:37