| 000 | 00408 a2200145 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 090 |
_c23915 _d23915 |
||
| 100 | _aDrissi-Kaitouni, Omar | ||
| 245 |
_aCompling temporal logic specifications into observers _cOmar Drissi-Kaitouni, Claude Jard |
||
| 260 |
_aParis _bI. N. R. I. A _c1988 |
||
| 300 |
_a19 p _c27 cm |
||
| 440 |
_aRapports techniques _n881 |
||
| 500 | _aIMAR | ||
| 942 |
_aIMAR _cCART _sSN |
||
| 999 |
_c23627 _d23627 |
||