Cover Image

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings /

Bibliographic Details
Other Authors: Vytopil, J. (Jan), 1947-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1991]
Series:Lecture notes in computer science ; 571.
Subjects:
Real-time data processing > Congresses.
Fault-tolerant computing > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.54 .F66 1991
 
Call Number Status Get It
QA76.54 .F66 1991 Available