APA (7th ed.) Citation

Largouët, C., Cordier, M., Bozec, Y., Zhao, Y., & Fontenelle, G. (2012). Use of timed automata and model-checking to explore scenarios on ecosystem models. Environmental modelling & software : with environment data news, 30(30), 123-138. https://doi.org/10.1016/j.envsoft.2011.08.005

Chicago Style (17th ed.) Citation

Largouët, Christine, Marie-Odile Cordier, Yves-Marie Bozec, Yulong Zhao, and Guy Fontenelle. "Use of Timed Automata and Model-checking to Explore Scenarios on Ecosystem Models." Environmental Modelling & Software : With Environment Data News 30, no. 30 (2012): 123-138. https://doi.org/10.1016/j.envsoft.2011.08.005.

MLA (9th ed.) Citation

Largouët, Christine, et al. "Use of Timed Automata and Model-checking to Explore Scenarios on Ecosystem Models." Environmental Modelling & Software : With Environment Data News, vol. 30, no. 30, 2012, pp. 123-138, https://doi.org/10.1016/j.envsoft.2011.08.005.