|
 
|
[BB13] On combining the ready sets with the covering steps method
Revue Internationale avec comité de lecture : Journal Int. J. of Critical Computer-Based Systems, pp. 67-85, 2013Mots clés: Verification, partial order methods, Time Petri nets
Résumé:
H. Boucheneb, K. Barkaoui "On combining the ready sets with the covering steps method",
accepted for publication in Int. J. of Critical Computer-Based Systems.
Equipe:
sys
BibTeX
| @article { | |||
| BB13, | |||
| title | = | "{On combining the ready sets with the covering steps method}", | |
| author | = | "H. Boucheneb and K. Barkaoui", | |
| journal | = | "Int. J. of Critical Computer-Based Systems", | |
| year | = | 2013, | |
| pages | = | "67-85", | |
| } | |||
