Preliminary Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY '05, (San Francisco, USA, August 27, 2005)

Scott A. Smolka
Jirí Srba (editors)

June 2005


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.


Last modified: 2005-06-26 by webmaster.