Home > Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2. 2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2. 2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Book Informaton
Author
Werner Damm; Ernst-Rüdiger Olderog
Series
Lecture Notes in Computer Science
Volume
2469
Year of Publication
2002
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
X, 462
Language
en
ISBN
9783540441656, 9783540457398, 3540441654
ARI Id
1664577975661
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 27 entries
Chapters/Headings | Author(s) | Pages | Info |
I-X | |||
3-22 | |||
23-34 | |||
37-51 | |||
53-70 | |||
71-80 | |||
81-81 | |||
83-105 | |||
107-107 | |||
111-128 | |||
129-145 | |||
147-162 | |||
165-183 | |||
185-204 | |||
205-221 | |||
225-243 | |||
245-264 | |||
265-288 | |||
291-310 | |||
311-330 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 27 entries