Home > Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Book Informaton
Author
Hans Langmaack; Willem-Paul de Roever; Jan Vytopil
Series
Lecture Notes in Computer Science
Volume
863
Year of Publication
1994
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin
Pages
XIV, 787
Language
en
ISBN
9783540584681, 9783540489849, 3540584684
ARI Id
1664732869049
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 41 entries
Chapters/Headings | Author(s) | Pages | Info |
1-18 | |||
19-40 | |||
41-76 | |||
77-85 | |||
86-109 | |||
110-127 | |||
128-148 | |||
149-169 | |||
170-192 | |||
193-210 | |||
211-227 | |||
228-246 | |||
247-267 | |||
268-287 | |||
288-335 | |||
336-350 | |||
351-372 | |||
373-392 | |||
393-417 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 41 entries