Title :
Formal techniques in real-time and fault-tolerant systems
Author Statement :
edited by Jan Vytopil
Publication :
Springer- Verlag
Collation :
ix, 620 p.: ill.; 25 cm
Series :
Lecture notes in computer science ; 571
Subject :
Real-time data processing-- Congresses,Fault-tolerant computing-- Congresses
ADDED ENTRIES :
Vytopil, J. (Jan), 1947-
Holding Info. :
3540550925
SubTitle :
: second international symposium Nijemegen, the Netherlands, January 8-10, 1992, porcedings
Biblography :
Includes bibliographical references and index
