| ||||||||||||||||||||||||||||||||
[BBS07] Vérification Paramétrée de la Cohérence des Processus WorkflowConférence Nationale avec comité de lecture : MSR'07, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, January 2007, pp.255-268,
motcle:
Résumé:
The topics of the colloquium are available here (in French).
BibTeX
|
||||||||||||||||||||||||||||||||