Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings


Book Informaton

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Author

Sungdeok (Steve) Cha; Jin-Young Choi; Moonzoo Kim; Insup Lee; Mahesh Viswanathan

Series

Lecture Notes in Computer Science

Volume

5311

Year of Publication

2008

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540883869, 9783540883876

ARI Id

1674219827246


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 38 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-2
3-3
4-17
18-32
33-47
48-63
64-79
80-94
95-110
111-125
126-140
141-155
156-170
171-185
186-200
201-215
216-221
222-227
228-233
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 38 entries