APA-Zitierstil (7. Ausg.)

Cardell-Oliver, R. M. (1992). The formal verification of hard real-time systems. Univ. of Cambridge Computer Laboratory.

Chicago-Zitierstil (17. Ausg.)

Cardell-Oliver, Rachel M. The Formal Verification of Hard Real-time Systems. Cambridge: Univ. of Cambridge Computer Laboratory, 1992.

MLA-Zitierstil (9. Ausg.)

Cardell-Oliver, Rachel M. The Formal Verification of Hard Real-time Systems. Univ. of Cambridge Computer Laboratory, 1992.