Formal techniques in real-time and fault-tolerant systems

Bibliografiske detaljer
Format: Bog
Sprog:English
Udgivet: Boston Kluwer Academic Publishers c1993.
Fag: