Technical Reports

The report FIMU-RS-2002-04

Pre-Proceedings of INFINITY 2002

by Antonín Kuèera, Richard Mayr, August 2002, 153 pages.

FIMU-RS-2002-04. Available as Postscript, PDF.


This volume contains pre-proceedings of 4th International Workshop on Verification of Infinite-State Systems (INFINITY 2002), held on August 24, 2002, in Brno, Czech Republic. The workshop was organized as a satellite event of CONCUR 2002.

Responsible contact: unix(atsign)fi(dot)muni(dot)cz