Machado, J. M., & Campos, J. C. (2011). Partial models in formal verification of industrial automation discrete systems.
Chicago Style (17th ed.) CitationMachado, José Manuel, and J. Creissac Campos. Partial Models in Formal Verification of Industrial Automation Discrete Systems. 2011.
MLA (8th ed.) CitationMachado, José Manuel, and J. Creissac Campos. Partial Models in Formal Verification of Industrial Automation Discrete Systems. 2011.
Warning: These citations may not always be 100% accurate.