Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings


Book Informaton

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Author

Gérard Berry; Hubert Comon; Alain Finkel

Series

Lecture Notes in Computer Science

Volume

2102

Year of Publication

2001

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540423454, 9783540445852

ARI Id

1674219945728


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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

Showing 1 to 20 of 50 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XIII
1-1
2-13
14-24
25-37
38-52
53-65
66-78
79-90
91-103
104-117
118-130
131-143
144-154
155-168
169-181
182-193
194-206
207-220
221-234
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 50 entries