Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]