Preliminary Proceedings of the 7th International Workshop on
Verification of Infinite-State Systems, INFINITY '05, (San Francisco,
USA, August 27, 2005)
Scott A. Smolka
This volume contains the preliminary proceedings of INFINITY'05 held in San Francisco, USA, August 27, 2005. The final proceedings will appear as a volume in the ENTCS series
Available as PDF.