|
INFINITY 2005 7th International Workshop on Verification of Infinite-State Systems A Satellite Workshop of CONCUR 2005. |
|
Proccedings of INFINITY'05 is now available as
volume 149, number 1
of ENTCS.
INFINITY'05 program is available here.  August 27, 2005 San Francisco, California, USA |
|
|