APA (7th ed.) Citation

Mizuno, T., & Nishizaki, S. (2012). Analyzing Systems Dependent on Execution Speed with Model Checker. Procedia Engineering, 50, 544. https://doi.org/10.1016/j.proeng.2012.10.059

Chicago Style (17th ed.) Citation

Mizuno, Takahisa, and Shin-Ya Nishizaki. "Analyzing Systems Dependent on Execution Speed with Model Checker." Procedia Engineering 50 (2012): 544. https://doi.org/10.1016/j.proeng.2012.10.059.

MLA (9th ed.) Citation

Mizuno, Takahisa, and Shin-Ya Nishizaki. "Analyzing Systems Dependent on Execution Speed with Model Checker." Procedia Engineering, vol. 50, 2012, p. 544, https://doi.org/10.1016/j.proeng.2012.10.059.