Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997
From MaRDI portal
Publication:5943257
DOI10.1023/A:1008784005996zbMath0986.00060OpenAlexW1560522553MaRDI QIDQ5943257
No author found.
Publication date: 27 May 2002
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008784005996
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
This page was built for publication: Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997
