APA (7th ed.) Citation

Voronov, A., & Akesson, K. (2009, August). Verification of process operations using model checking. 2009 IEEE International Conference on Automation Science and Engineering, 415-420. https://doi.org/10.1109/COASE.2009.5234103

Chicago Style (17th ed.) Citation

Voronov, A., and K. Akesson. "Verification of Process Operations Using Model Checking." 2009 IEEE International Conference on Automation Science and Engineering Aug. 2009: 415-420. https://doi.org/10.1109/COASE.2009.5234103.

MLA (9th ed.) Citation

Voronov, A., and K. Akesson. "Verification of Process Operations Using Model Checking." 2009 IEEE International Conference on Automation Science and Engineering, Aug. 2009, pp. 415-420, https://doi.org/10.1109/COASE.2009.5234103.