|
 
|
[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:
sys
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", | |
| } | |||
