APA-Zitierstil (7. Ausg.)
Baier, C., & Katoen, J. (2008). Principles of Model checking. MIT Press.
Chicago-Zitierstil (17. Ausg.)
Baier, Christel, und Joost-Pieter Katoen. Principles of Model Checking. Cambridge: MIT Press, 2008.
MLA-Zitierstil (9. Ausg.)
Baier, Christel, und Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.