|
INFINITY 2002 4th International Workshop on Verification of Infinite-State Systems A Satellite Workshop of CONCUR 2002 |
 August 24, 2002 Brno, Czech Republic The INFINITY 2002 Pre-Proceedings Are Now Available. |
|
|
|
INFINITY 2002 4th International Workshop on Verification of Infinite-State Systems A Satellite Workshop of CONCUR 2002 |
|
August 24, 2002 Brno, Czech Republic The INFINITY 2002 Pre-Proceedings Are Now Available. |
|
|