Citação norma APA

Machado, J. M., Seabra, E., Campos, J. C., Soares, F., & Leão, C. P. (2008). Simulation and formal verification of industrial systems controllers.

Citação norma Chicago

Machado, José Mendes, Eurico Seabra, J. Creissac Campos, Filomena Soares, and Celina Pinto Leão. Simulation and Formal Verification of Industrial Systems Controllers. 2008.

Citação norma MLA

Machado, José Mendes, et al. Simulation and Formal Verification of Industrial Systems Controllers. 2008.

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