Top 88 nj ll orgursson approximately 930 1011 PDF Book Page 4

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