|
Preliminary Proceedings of the 7th International Workshop on
Verification of Infinite-State Systems, INFINITY '05, (San Francisco,
USA, August 27, 2005)
Scott A. Smolka
June 2005 |
Abstract:
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. |