Bernhard Steffen, Didier Caucal, editors, First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996. Volume 5 of Electronic Notes in Theoretical Computer Science, Elsevier, 1997. [doi]
Conference: infinity1997
Abstract is missing.