Verification of infinite state systems, Infinity '97. Selected papers from the 2nd international workshop, Bologna, Italy, July 11--12, 1997

Author name not available (Why is that?)

Publication date: 7 December 1998

Published in: (Search for Journal in Brave)

No records found.

This page was built for publication: Verification of infinite state systems, Infinity '97. Selected papers from the 2nd international workshop, Bologna, Italy, July 11--12, 1997

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1273549)