|
 
|
[BB09] On combining the ready sets with the covering steps methods
Conférence Internationale avec comité de lecture : VECoS'09, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, January 2009, pp.74-84, Series eWiC Series,
motcle:
BibTeX
| @inproceedings { | |||
| BB09, | |||
| title | = | "{On combining the ready sets with the covering steps methods}", | |
| author | = | " H. Boucheneb and K. Barkaoui ", | |
| booktitle | = | "{VECoS'09, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco}", | |
| year | = | 2009, | |
| month | = | "January", | |
| series | = | "eWiC Series", | |
| pages | = | "74-84", | |
| } | |||
