PDMC 2003 - 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í	2003
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
Citace	BRIM, Luboš a Orna GRUMBERG. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2003, 130 s. ENTCS, Vol. 89, No. 1.
Popis	Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking (PDMC 2003) held in Boulder, Colorado, USA, Juy 14, 2003.
Související projekty:	Automatizovaná verifikace paralelních a distribuovaných systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů