Nathalie Bertrand 0001. Contributions to the verification and control of timed and probabilistic models : Mémoire d'habilitation à diriger des recherches. 2015. [doi]
@book{Bertrand15,
title = {Contributions to the verification and control of timed and probabilistic models : Mémoire d'habilitation à diriger des recherches},
author = {Nathalie Bertrand 0001},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-01243612},
researchr = {https://researchr.org/publication/Bertrand15},
cites = {0},
citedby = {0},
}