Formal techniques in real-time and fault-tolerant systems
edited by Jan Vytopil
Bok Engelsk 1993
| Utgitt | Boston : Kluwer , c1993
|
|---|---|
| Omfang | xi, 208 s. : ill.
|
| Opplysninger | "Preliminary versions of some papers were presented at the School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at University of Nijmegen in January 1992" - Forordet
|
| Emner | |
| ISBN | 0792393325
|
