Masaryk University

Publication Records

česky | in English

Filter publications

    2002

  1. BARNAT, Jiří, Luboš BRIM and 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. p. 1-10.
  2. 2001

  3. BARNAT, Jiří, Luboš BRIM and 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. p. 200-215. ISBN 3-540-42124-6.
  4. 2000

  5. BARNAT, Jiří, Luboš BRIM and Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. Brno: FI MU, 2000. 16 pp. Technical Reports.
Display details
Displayed: 1. 10. 2020 03:26