Home > Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Book Informaton
Author
Franck Cassez; Jean-Francois Raskin
Series
Lecture Notes in Computer Science
Volume
8837
Year of Publication
2014
Publisher
Springer International Publishing
Pages
XXIV, 430
Language
EN
ISBN
9783319119359, 9783319119366, 3319119354
ARI Id
1664697822061
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 31 entries
Chapters/Headings | Author(s) | Pages | Info |
1-17 | |||
18-23 | |||
24-30 | |||
31-46 | |||
47-63 | |||
64-80 | |||
81-97 | |||
98-114 | |||
115-128 | |||
129-145 | |||
146-162 | |||
163-167 | |||
168-184 | |||
185-200 | |||
201-218 | |||
219-234 | |||
235-241 | |||
242-247 | |||
248-263 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 31 entries
Topics