| 000 | 00411 a2200157 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 090 |
_c7080 _d7080 |
||
| 100 | _aSchlingloff, H | ||
| 245 |
_aTransforming temporal logic specifications _cH. Schlingloff, F. Kroger |
||
| 260 |
_aMunchen _bUniversitat Munchen _c1986 |
||
| 300 |
_a22 p _c20 cm |
||
| 440 |
_aTUM _nI 8612 |
||
| 500 | _aContine bibliografie | ||
| 700 | _aKroger, F | ||
| 942 |
_aIMAR _cCART |
||
| 999 |
_c6940 _d6940 |
||