Top 113 nj cole cole nj PDF Book Page 5

book image

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)
·483 Pages
·1996
·14.401 MB