APA (7th ed.) Citation

Baier, C., Katoen, J., & Larsen, K. G. (2016). Principles of Model Checking (1.). MIT Press, The.

Chicago Style (17th ed.) Citation

Baier, Christel, Joost-Pieter Katoen, and Kim Guldstrand Larsen. Principles of Model Checking. 1. Cumberland: MIT Press, The, 2016.

MLA (9th ed.) Citation

Baier, Christel, et al. Principles of Model Checking. 1. MIT Press, The, 2016.