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

Investor logo

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

KUČERA Antonín MAYR Richard

Year of publication 2002
Type Monograph
MU Faculty or unit

Faculty of Informatics

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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info