Citazione Stile APA (7a Edizione)
Baier, C., & Katoen, J. (2008). Principles of Model checking. MIT Press.
Citazione stile Chigago Style (17a edizione)
Baier, Christel, e Joost-Pieter Katoen. Principles of Model Checking. Cambridge: MIT Press, 2008.
Citatione MLA (9a ed.)
Baier, Christel, e Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.