APA Zitierstil

Baier, C., & Katoen, J. (2012). Principles of model checking. The MIT Press.

Chicago Zitierstil

Baier, Christel, und Joost-Pieter Katoen. Principles of Model Checking. Cambridge, Mass.: The MIT Press, 2012.

MLA Zitierstil

Baier, Christel, und Joost-Pieter Katoen. Principles of Model Checking. The MIT Press, 2012.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.