PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BRIM Luboš GRUMBERG Orna
Rok publikování	2002
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Proceedings of 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002) held in Brno, Czech Republic, August 19, 2002.
Související projekty:	Algoritmy a nástroje pro praktickou verifikaci souběžných systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů