Nathalie Bertrand 0001. Contributions to the verification and control of timed and probabilistic models : Mémoire d'habilitation à diriger des recherches. 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.