TY  - BOOK
AU  - QUIRK,W.J
TI  - VERIFICATION AND VALIDATION OF REAL TIME SOFTWARE
SN  - ERNET
U1  - 656 
PY  - 1985///
CY  - BERLIN
PB  - SV
ER  -