Rechercher

[BBb12] Parametric Verification of Time Workflow Nets

Conférence Internationale avec comité de lecture : 24th International Conference on Software Engineering (SEKE), July 2012, pp.375-380,
motcle:
Résumé: H. Boucheneb, K. Barkaoui “Parametric Verification of Time Workflow Nets”, 24th International Conference on Software Engineering (SEKE), pp 375-380, July 2012

Equipe: vespa

BibTeX

@inproceedings {
BBb12,
title="{Parametric Verification of Time Workflow Nets}",
author=" H. Boucheneb and K. Barkaoui ",
booktitle="{24th International Conference on Software Engineering (SEKE)}",
year=2012,
month="July",
pages="375-380",
}