Home > Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Book Informaton
Author
Parosh Aziz Abdulla; K. Rustan M. Leino
Series
Lecture Notes in Computer Science
Volume
6605
Year of Publication
2011
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
XVI, 394
Language
EN
ISBN
9783642198342, 9783642198359
ARI Id
1664933331307
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 36 entries
Chapters/Headings | Author(s) | Pages | Info |
1-2 | |||
3-10 | |||
11-25 | |||
26-40 | |||
41-44 | |||
45-59 | |||
60-64 | |||
65-80 | |||
81-95 | |||
96-111 | |||
112-127 | |||
128-142 | |||
143-157 | |||
158-172 | |||
173-188 | |||
189-204 | |||
205-219 | |||
220-223 | |||
224-238 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 36 entries