Alur, Rajeev Peled, Doron A Eds.,
Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings - Berlin springer 2004 - 536 - Lecture notes in computer science ; 03114 .
3540223428
681 LNCS
Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings - Berlin springer 2004 - 536 - Lecture notes in computer science ; 03114 .
3540223428
681 LNCS