Formal techniques in real-time and fault-tolerant systems
edited by Jan Vytopil
Bok
·
Engelsk
·1993
Detaljer
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
