| Authors |
-
D.J.B. Bosscher
-
I. Polak
-
F.W. Vaandrager
|
| Publication date |
1994
|
| Host editors |
-
W.P. Roever
-
H. Langmaack
-
J. Vytopil
|
| Book title |
Proceedings of the Third International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Lubeck, Germany, September 1994
|
| Series |
Lecture Notes in Computer Science, 863
|
| Pages (from-to) |
170-192
|
| Publisher |
Berlin: Springer Verlag
|
| Organisations |
-
Faculty of Science (FNWI) - Informatics Institute (IVI)
|
| Document type |
Chapter
|
|
Permalink to this page
|