Masaryk University

Publication Records

česky | in English

Filter publications

    2004

    1. Distributed Memory LTL Model Checking Based on Breadth First Search
      BARNAT, Jiří, Luboš BRIM and Jakub CHALOUPKA. Distributed Memory LTL Model Checking Based on Breadth First Search. Brno: Faculty of Informatics, Masaryk University Brno, 2004, 57 pp. FIMU-RS-2004-07.
      More: https://is.muni.cz/publication/563034/en

    2003

    1. Distributed Explicit Fair Cycle Detection
      ČERNÁ, Ivana and Radek PELÁNEK. Distributed Explicit Fair Cycle Detection. In SPIN Workshop 2003. Portland (Oregon, USA): Springer-Verlag, 2003, p. 49-74, 25 pp. ISBN 3-540-40117-2.
      More: https://is.muni.cz/publication/489731/en
Display details
Displayed: 13/11/2024 16:16