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
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
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 38 entries
Chapters/Headings | Author(s) | Pages | Info |
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/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 38 entries