Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 10th International Conference, CAV' 98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Computer Aided Verification: 10th International Conference, CAV' 98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings


Book Informaton

Computer Aided Verification: 10th International Conference, CAV' 98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Author

Alan J. Hu; Moshe Y. Vardi

Series

Lecture Notes in Computer Science

Volume

1427

Year of Publication

1998

Publisher

Springer Berlin Heidelberg

Pages

X, 552

Language

en

ISBN

9783540646082, 9783540693390, 3540646086

ARI Id

1664248876574


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 11 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 56 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-16
17-28
29-38
39-44
45-48
49-56
57-60
61-70
71-76
77-87
88-97
98-109
110-121
122-134
135-146
147-158
159-171
172-183
184-194
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 56 entries