@PHDTHESIS{bourd2015,
url = "http://www.theses.fr/2015ISAT0041",
title = "Contribution à la modélisation et la vérification formelle par model checking - Symétries pour les Réseaux de Petri temporels",
author = "Bourdil, Pierre-Alain",
year = "2015",
note = "Thèse de doctorat dirigée par Vernadat, François B.Berthomieu, Bernard et Jenn, Éric Sûreté de Logiciel et Calcul de Haute Performance Toulouse, INSA 2015",
note = "2015ISAT0041",
url = "http://www.theses.fr/2015ISAT0041/document",
}