TY  - BOOK
AU  -  Abdelkrim , Amirat
AU  - Maaitia lamia
TI  - Transformation de diagrammes d'état de transitions vers PROMELA  une approche basée ATL
PY  - 2012///
ER  -