Home > Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
Book Informaton
Author
Holger Hermanns; Jens Palsberg
Series
Lecture Notes in Computer Science
Volume
3920
Year of Publication
2006
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XVI, 512
Language
en
ISBN
9783540330561, 9783540330578, 3540330569
ARI Id
1664716715399
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 37 entries
Chapters/Headings | Author(s) | Pages | Info |
1-26 | |||
27-41 | |||
42-57 | |||
58-72 | |||
73-89 | |||
90-104 | |||
105-119 | |||
120-134 | |||
135-150 | |||
151-166 | |||
167-181 | |||
182-196 | |||
197-211 | |||
212-226 | |||
227-241 | |||
242-256 | |||
257-271 | |||
272-286 | |||
287-302 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 37 entries