APA (7th ed.) Citation

Campos, J. C., & Harrison, M. D. (2001). Model checking interactor specifications.

Chicago Style (17th ed.) Citation

Campos, J. Creissac, and M. D. Harrison. Model Checking Interactor Specifications. 2001.

MLA (8th ed.) Citation

Campos, J. Creissac, and M. D. Harrison. Model Checking Interactor Specifications. 2001.

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