PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou 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
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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.