Rechercher

[BBS07] Vérification Paramétrée de la Cohérence des Processus Workflow

Confé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

@inproceedings {
BBS07,
title="{Vérification Paramétrée de la Cohérence des Processus Workflow}",
author=" K. Barkaoui and R. Ben Ayed and Z. Sbai ",
booktitle="{MSR'07, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France}",
year=2007,
month="January",
pages="255-268",
}