Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2002

  1. BARNAT, Jiří, Luboš BRIM a Ivana ČERNÁ. Property Driven Distribution of Nested DFS. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic. Pittsburgh, PA, USA: Dept. of Electronics and Computer Science, University of Southampton, 2002. s. 1-10.
  2. 2001

  3. BARNAT, Jiří, Luboš BRIM a Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. In M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop. Toronto, Canada: Springer Verlag, 2001. s. 200-215. ISBN 3-540-42124-6.
  4. 2000

  5. BARNAT, Jiří, Luboš BRIM a Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. Brno: FI MU, 2000. 16 s. Technical Reports.
Zobrazit podrobně
Zobrazeno: 13. 8. 2020 11:25