Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
著者
書誌事項
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
（Lecture notes in computer science, 331）
Springer-Verlag, c1988
- : gw
- : us
大学図書館所蔵 全52件
注記
Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick
Includes bibliographical references