APA (7th ed.) Citation

Campos, J. C., Machado, J., & Seabra, E. (2008). Property patterns for the formal verification of automated production systems.

Chicago Style (17th ed.) Citation

Campos, J. Creissac, José Machado, and Eurico Seabra. Property Patterns for the Formal Verification of Automated Production Systems. 2008.

MLA (8th ed.) Citation

Campos, J. Creissac, et al. Property Patterns for the Formal Verification of Automated Production Systems. 2008.