Filtrování

    2005

    1. DivSPIN - A SPIN compatible distributed model checker
      BARNAT, Jiří; Vojtěch FOREJT; Martin LEUCKER a 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, s. 95-100.
      Podrobněji: https://is.muni.cz/publication/589882/cs
Zobrazit podrobně