|
 
|
[SBa03] Vers une logique Temporelle LTL pour la vérification des Théories de Réécriture dénotant les ECATNets
Conférence Nationale avec comité de lecture : Premier congrès francophone MAJECSTIC'03, Marseille, January 2003,
motcle:
BibTeX
| @inproceedings { | |||
| SBa03, | |||
| title | = | "{Vers une logique Temporelle LTL pour la vérification des Théories de Réécriture dénotant les ECATNets}", | |
| author | = | " H. Sebih and K. Barkaoui ", | |
| booktitle | = | "{Premier congrès francophone MAJECSTIC'03, Marseille}", | |
| year | = | 2003, | |
| month | = | "January", | |
| } | |||
