Masaryk University

Publication Records

česky | in English

Filter publications

    2005

    1. DivSPIN - A SPIN compatible distributed model checker
      BARNAT, Jiří, Vojtěch FOREJT, Martin LEUCKER and Michael WEBER. DivSPIN - A SPIN compatible distributed model checker. In Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisabon, Portugalsko: TU Munchen, 2005, p. 95-100.
      More: https://is.muni.cz/publication/589882/en
Display details
Displayed: 27/8/2024 00:20