Home > Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Book Informaton
Author
Ahmed Bouajjani; Wei-Ngan Chin
Series
Lecture Notes in Computer Science
Volume
6252
Year of Publication
2010
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
VIII, 404
Language
en
ISBN
9783642156427, 9783642156434
ARI Id
1664975903626
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 35 entries
Chapters/Headings | Author(s) | Pages | Info |
1-16 | |||
17-17 | |||
18-21 | |||
22-36 | |||
37-51 | |||
52-66 | |||
67-81 | |||
82-96 | |||
97-111 | |||
112-127 | |||
128-142 | |||
143-157 | |||
158-172 | |||
173-187 | |||
188-202 | |||
203-217 | |||
218-232 | |||
233-244 | |||
245-258 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 35 entries