Cardell-Oliver, R. (1989). The specification and verification of sliding window protocols in higher order logic.
Chicago-Zitierstil (17. Ausg.)Cardell-Oliver, Rachel. The Specification and Verification of Sliding Window Protocols in Higher Order Logic. Cambridge, 1989.
MLA-Zitierstil (9. Ausg.)Cardell-Oliver, Rachel. The Specification and Verification of Sliding Window Protocols in Higher Order Logic. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.