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

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. 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
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.