Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 3rd International Workshop, CAV ' 91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Computer Aided Verification: 3rd International Workshop, CAV ' 91, Aalborg, Denmark, July 1-4, 1991. Proceedings


Book Informaton

Computer Aided Verification: 3rd International Workshop, CAV ' 91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Author

Kim G. Larsen; Arne Skou

Series

Lecture Notes in Computer Science

Volume

575

Year of Publication

1992

Publisher

Springer Berlin Heidelberg

Pages

XI, 493

Language

en

ISBN

9783540551799, 9783540467632, 3540551794

ARI Id

1664397479016


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 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 46 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-12
13-23
24-36
37-47
48-58
59-69
70-82
83-91
92-102
103-113
114-124
125-135
136-146
147-157
158-168
169-180
181-191
192-202
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 46 entries