Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems
Authors | |
---|---|
Year of publication | 2002 |
Type | Monograph |
MU Faculty or unit | |
Citation | KUČERA, Antonín and Richard MAYR. Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems. Amsterdam: Elsevier, 2002, 106 pp. ENTCS, volume 68(6). ISBN 0444513299. |
Description | Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (Infinity 2002). |
Related projects: |