APA (7th ed.) Citation

Clarke, E. M., Jr. (2018). Model checking (Second edition.). MIT Press.

Chicago Style (17th ed.) Citation

Clarke, Edmund M., Jr. Model Checking. Second edition. Cambridge, Massachusetts: MIT Press, 2018.

MLA (9th ed.) Citation

Clarke, Edmund M., Jr. Model Checking. Second edition. MIT Press, 2018.