Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems

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	KUČERA Antonín MAYR Richard
Rok publikování	2002
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (Infinity 2002).
Související projekty:	Nekonečně stavové souběžné systémy - modely a verifikace Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů