|
 
|
[BBCa06] Applying Reduction Rules to ECATNets
Conférence Internationale avec comité de lecture : AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria, January 2006, pp.42-55, Series ENTCS,
motcle:
Commentaires:
Workshop co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS'06)
BibTeX
| @inproceedings { | |||
| BBCa06, | |||
| title | = | "{Applying Reduction Rules to ECATNets}", | |
| author | = | " N. Boudiaf and K. Barkaoui and A. Chaoui ", | |
| booktitle | = | "{AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria}", | |
| year | = | 2006, | |
| month | = | "January", | |
| series | = | "ENTCS", | |
| pages | = | "42-55", | |
| note | = | "{Workshop co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS'06)}", | |
| } | |||
