Special issue: 20th international conference on computer aided verification (CAV'08), Princeton, NJ, USA, July 7--14, 2008. Extended versions of selected papers.

Authors

Publication date 14 September 2009

Published in Formal Methods in System Design (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06) Design techniques (robust design, computer-aided design, etc.) (93B51)

Cited in

(3)

scientific article; zbMATH DE number 5719320 (Why is no real title available?)
Special issue: Computer aided verification (CAV'09). Selected papers based on the presentations at the 21st conference, Grenoble, France, June 26 -- July 2, 2009
Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997

This page was built for publication: Special issue: 20th international conference on computer aided verification (CAV'08), Princeton, NJ, USA, July 7--14, 2008. Extended versions of selected papers.

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