Electronic Notes in Theoretical Computer Science, Volume 98

Volume 98, 2 August 2004

Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003
maintained by Schloss Dagstuhl LZI at University of Trier