Pre-Proceedings of INFINITY 2002
by
Antonín Kučera,
Richard Mayr,
August 2002, 153 pages.
FIMU-RS-2002-04.
Available as Postscript,
PDF.
Abstract:
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.