Formal techniques in real-time and fault tolerant systems proceedings
Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1. 1988 Warwick) Mathai Joseph
Berlin Springer 1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.331 ex.1 ) e outros locais(Acessar)