TY  - BOOK
AU  - Sin autor
AU  - Heitmeyer,Constance
AU  - Mandrioli,Dino
TI  - Formal methods for real-time computing
T2  - Trends in Software 
SN  - 0471958352
PY  - 1996///
CY  - Chichester
PB  - [S.n.]
KW  - MÉTODOS FORMALES
KW  - DESARROLLO DE SOFTWARE
KW  - SISTEMAS DE TIEMPO REAL
ER  -