APA (7th ed.) Citation

Jr, E. M. C., Grumberg, O., & Peleg, D. (1999). Model Checking.

Chicago Style (17th ed.) Citation

Jr, Edmund M. Clarke, Orna Grumberg, and Doron Peleg. Model Checking. 1999.

MLA (9th ed.) Citation

Jr, Edmund M. Clarke, et al. Model Checking. 1999.

Warning: These citations may not always be 100% accurate.