Formal techniques in real-time and fault-tolerant systems
Author(s)
Bibliographic Information
Formal techniques in real-time and fault-tolerant systems
(The Kluwer international series in engineering and computer science, SECS 221 . Real-time systems)
Kluwer Academic Publishers, c1993
Available at / 15 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index