Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

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

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo