Louis-Marie Traonouez. Vérification et dépliages de réseaux de Petri temporels paramétrés. (Model-checking and unfoldings of parametric time Petri nets). PhD thesis, University of Nantes, France, 2009. [doi]
@phdthesis{hal-5404,
title = {Vérification et dépliages de réseaux de Petri temporels paramétrés. (Model-checking and unfoldings of parametric time Petri nets)},
author = {Louis-Marie Traonouez},
year = {2009},
url = {https://tel.archives-ouvertes.fr/tel-00466429},
researchr = {https://researchr.org/publication/hal-5404},
cites = {0},
citedby = {0},
school = {University of Nantes, France},
}