Computer aided verification 16th international conference, CAV 2004 /

• 作者：Alur, Rajeev, Doron A. Peled (eds.).
• 出版者：Springer
• 出版地：Berlin ; London :
• 語文：英語
• 叢書名：Lecture notes in computer science,
• 主題：Computer aided verification ; CAV
• 電子資源：http://dx.doi.org/10.1007/b98490
• ISBN/ISSN/ISRC：9783540223429 (paper)
• 作者：Alur, Rajeev;Peled, Doron
• 索書號：004.24