%0 Thesis %1 phd/hal/Laurent15 %A Laurent, Yoann %D 2015 %K dblp %T Alloy4PV : un Framework pour la Vérification de Procédés Métiers. (Alloy4PV : a Framework for Business Process Verification).

@phdthesis{phd/hal/Laurent15, added-at = {2020-07-21T00:00:00.000+0200}, author = {Laurent, Yoann}, biburl = {https://www.bibsonomy.org/bibtex/28ea8132130b64c21e96086f20bdb1caa/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-01133320}, interhash = {c59972093f56c13ddc301769ecc98573}, intrahash = {8ea8132130b64c21e96086f20bdb1caa}, keywords = {dblp}, school = {Pierre and Marie Curie University, Paris, France}, timestamp = {2020-07-24T00:51:09.000+0200}, title = {Alloy4PV : un Framework pour la Vérification de Procédés Métiers. (Alloy4PV : a Framework for Business Process Verification).}, year = 2015 }