PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

• Autoři: BRIM Luboš; GRUMBERG Orna
• Rok publikování: 2002
• Druh: Odborná kniha
• Fakulta / Pracoviště MU: Fakulta informatiky
• 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ů