Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.