Special issue: 20th international conference on computer aided verification (CAV'08), Princeton, NJ, USA, July 7--14, 2008. Extended versions of selected papers.
From MaRDI portal
Publication:840635
zbMATH Open1194.93006MaRDI QIDQ840635
Author name not available (Why is that?)
Publication date: 14 September 2009
Published in: (Search for Journal in Brave)
No records found.
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)
