Home > Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
Book Informaton
Author
Joost-Pieter Katoen; Perdita Stevens
Series
Lecture Notes in Computer Science
Volume
2280
Year of Publication
2002
Publisher
Springer Berlin Heidelberg
City of Publication
New York
Pages
XIV, 486
Language
en
ISBN
9783540434191, 9783540460022, 3540434194
ARI Id
1664318960025
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 |
I-XIII | |||
1-19 | |||
20-20 | |||
21-36 | |||
37-51 | |||
52-66 | |||
67-82 | |||
83-97 | |||
98-112 | |||
113-126 | |||
127-141 | |||
142-157 | |||
158-172 | |||
173-187 | |||
188-204 | |||
205-220 | |||
221-235 | |||
236-250 | |||
251-265 | |||
266-280 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 37 entries