APA (7th ed.) Citation

Machado, J. M., & Campos, J. C. (2011). Partial plant models in formal verification of industrial automation discrete systems.

Chicago Style (17th ed.) Citation

Machado, José Mendes, and J. Creissac Campos. Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems. 2011.

MLA (8th ed.) Citation

Machado, José Mendes, and J. Creissac Campos. Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems. 2011.

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