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

• Autoři: KUČERA Antonín; MAYR Richard
• Rok publikování: 2002
• Druh: Odborná kniha
• Fakulta / Pracoviště MU: Fakulta informatiky
• 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ů