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]
No references recorded for this publication.
No citations of this publication recorded.