TY  - BOOK
AU  - Heitmeyer, Constance., ed.
AU  - Mandrioli, Dino., ed.
TI  - Formal methods for Real-Time computing
T2  - Trends in software, 5
SN  - 0471958352
U1  - 004.33 
PY  - 1996///
CY  - Chichester
PB  - J-W
N1  - Trans. from CSA to ML
ER  -