| 000 | 00395 a2200133 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 090 |
_c15305 _d15305 |
||
| 100 | _aSifakis, Joseph | ||
| 245 |
_aModeles Temporels des Systemes Logiques _bThese _cJosefph Sifakis |
||
| 260 |
_aGrenoble _bUniversite Scientifique et Medicale de Grenoble _c1974 |
||
| 300 |
_a195 p _bFig _c21 cm |
||
| 500 | _aContine bibliografie | ||
| 942 |
_aIMAR _cCART _sPG |
||
| 999 |
_c15064 _d15064 |
||