| 000 | 00417nam0a22001691i 4500 | ||
|---|---|---|---|
| 001 | 49089 | ||
| 090 | _a49089 | ||
| 100 | _a20240205 frey50 | ||
| 101 | 0 | _afre | |
| 102 | _cFR | ||
| 200 | 1 | _aTransformation de diagrammes d'état de transitions vers PROMELA une approche basée ATL | |
| 210 | _d2012 | ||
| 700 | 0 | _a Abdelkrim , Amirat | |
| 702 | 0 | _aMaaitia lamia | |
| 852 | _jM/IN/04/2012 | ||
| 942 | _cTH | ||
| 950 | _a3 | ||