Paolo Ballarini. Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches. (Contributions à la modélisation formelle et à l'analyse de modèles stochastiques). 2023. [doi]
@book{Ballarini23,
title = {Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches. (Contributions à la modélisation formelle et à l'analyse de modèles stochastiques)},
author = {Paolo Ballarini},
year = {2023},
url = {https://tel.archives-ouvertes.fr/tel-04335487},
researchr = {https://researchr.org/publication/Ballarini23},
cites = {0},
citedby = {0},
}