Christine Largouët, Marie-Odile Cordier, Yves-Marie Bozec, Yulong Zhao, Guy Fontenelle. Use of timed automata and model-checking to explore scenarios on ecosystem models. Environmental Modelling and Software, 30:123-138, 2012. [doi]
@article{LargouetCBZF12,
title = {Use of timed automata and model-checking to explore scenarios on ecosystem models},
author = {Christine Largouët and Marie-Odile Cordier and Yves-Marie Bozec and Yulong Zhao and Guy Fontenelle},
year = {2012},
doi = {10.1016/j.envsoft.2011.08.005},
url = {http://dx.doi.org/10.1016/j.envsoft.2011.08.005},
researchr = {https://researchr.org/publication/LargouetCBZF12},
cites = {0},
citedby = {0},
journal = {Environmental Modelling and Software},
volume = {30},
pages = {123-138},
}