Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings


Book Informaton

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Author

Tevfik Bultan; Pao-Ann Hsiung

Series

Lecture Notes in Computer Science

Volume

6996

Year of Publication

2011

Publisher

Springer Berlin Heidelberg

City of Publication

Heidelberg; New York

Pages

XIV, 532

Language

en

ISBN

9783642243714, 9783642243721

ARI Id

1664716904269


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 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 43 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-12
13-27
28-42
43-50
51-59
60-74
75-89
90-104
105-119
120-134
135-149
150-167
168-182
183-197
198-212
213-227
228-242
243-258
259-274
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 43 entries