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

• Authors: KUČERA Antonín; MAYR Richard
• Year of publication: 2002
• Type: Monograph
• MU Faculty or unit: Faculty of Informatics
• Description: Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (Infinity 2002).

Related projects

• Infinite state concurrent systems - models and verification
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing