Proceeding on formal techaniques in real time and fault tolerant systems - Josepn M Ed.; Symposium on formal techaniques in real time and fault tolerant systems (1988 : Warwick U K) (Berlin Springer-Verlag, 1988)
Keywords: Computer science