Campos, J. C., Machado, J., & Seabra, E. (2008). Property patterns for the formal verification of automated production systems.
Citação do estilo Chicago (17ª ed.)Campos, J. Creissac, José Machado, e Eurico Seabra. Property Patterns for the Formal Verification of Automated Production Systems. 2008.
Citação MLA (8ª ed.)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.