APA (7th ed.) Citation

Clarke, E. M., Grumberg, O., & Long, D. E. (1991). Model checking and abstraction.

Chicago Style (17th ed.) Citation

Clarke, Edmund M., Orna Grumberg, and David E. Long. Model Checking and Abstraction. Haifa, Israel, 1991.

MLA (9th ed.) Citation

Clarke, Edmund M., et al. Model Checking and Abstraction. 1991.