Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings
Author(s)
Bibliographic Information
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings
(Lecture notes in computer science, 571)
Springer-Verlag, c1991
- : gw
- : us
Available at / 52 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||57191069019
-
Kochi University of Technology.Library
: Berlin007||L49||571000178707,
: gw007||L49||57100017870 -
University of Tsukuba Library, Library on Library and Information Science
: Berlin007.08:L-49:571911011390
-
Nagoya Institute of Technology Library
: gw549.92||Sy 5||22159133,
: Berlin549.92||Sy 5||292200255 -
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references