Cardell-Oliver, R. (1990). Formal verification of real-time protocols using higher order logic.
Chicago-Zitierstil (17. Ausg.)Cardell-Oliver, Rachel. Formal Verification of Real-time Protocols Using Higher Order Logic. Cambridge, 1990.
MLA-Zitierstil (9. Ausg.)Cardell-Oliver, Rachel. Formal Verification of Real-time Protocols Using Higher Order Logic. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.