@phdthesis{Roc8,
title = {Formal methods for modelling and validation of biological models },
author = {Rocca, Alexandre},
month = {May},
year = {2018},
school = {Universit{\'e} Grenoble Alpes},
team = {TEMPO},
date = {May, 7, 2018},
}