Actions for Vérification de spécifications modales de réseaux worklows à l'aide de solveurs de contraintes et de methodes de résolution [electronic resource]
Vérification de spécifications modales de réseaux worklows à l'aide de solveurs de contraintes et de methodes de résolution [electronic resource] / Bride, Hadrien