Home > Computer Aided Verification: 8th International Conference, CAV ' 96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Computer Aided Verification: 8th International Conference, CAV ' 96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Book Informaton
Author
Rajeev Alur; Thomas Henzinger
Series
Lecture Notes in Computer Science
Volume
1102
Year of Publication
1996
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XIII, 479
Language
en
ISBN
9783540614746, 9783540685999, 3540614745
ARI Id
1664494974340
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |