Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings /

Bibliographic Details
Corporate Author:	Working Group Provably Correct Systems
Other Authors:	Langmaack, Hans, Roever, W.-P. de, 1943-, Vytopil, J. (Jan), 1947-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1994]
Series:	Lecture notes in computer science ; 863.
Subjects:	Real-time data processing > Congresses. Fault-tolerant computing > Congresses.

Remote Storage