Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
Author(s)
Bibliographic Information
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
Available at / 52 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||33188053630
-
Research Institute for Economics & Business Administration (RIEB) Library , Kobe University図書
621.34-446-3311000078828
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:331891016750
-
No Libraries matched.
- Remove all filters.
Note
Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick
Includes bibliographical references