Výpis publikací

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