TY  - BOOK
AU  - A
AU  - Nafaa
AU  - Sabrina- Lantri
AU  - Nour el Houda
AU  - Laadjailia
TI  - Vérification formelle des diagrammes de séquence UML temporisés
PY  - 2013///
ER  -