Hadrien Bride. Verifying Modal Specifications of Workflow Nets : using Constraint Solving and Reduction Methods. (Vérification de spécifications modales de réseaux worklows à l'aide de solveurs de contraintes et de methodes de résolution). PhD thesis, University of Franche-Comté, Besançon, France, 2016. [doi]
@phdthesis{hal-9227,
title = {Verifying Modal Specifications of Workflow Nets : using Constraint Solving and Reduction Methods. (Vérification de spécifications modales de réseaux worklows à l'aide de solveurs de contraintes et de methodes de résolution)},
author = {Hadrien Bride},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-01514168},
researchr = {https://researchr.org/publication/hal-9227},
cites = {0},
citedby = {0},
school = {University of Franche-Comté, Besançon, France},
}