Proceedings of INFINITY 2003, the 5th international workshop on verification of infinite-state systems, a satellite workshop of CONCUR 2003, Marseille, France September 2, 2003

No author found.

Publication date: 26 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Proceedings of INFINITY 2003, the 5th international workshop on verification of infinite-state systems, a satellite workshop of CONCUR 2003, Marseille, France September 2, 2003