Machado, J. M., & Campos, J. C. (2011). Partial plant models in formal verification of industrial automation discrete systems.
Chicago Style (17th ed.) CitationMachado, José Mendes, and J. Creissac Campos. Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems. 2011.
MLA (8th ed.) CitationMachado, 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.