| 000 | 00550nab a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1997 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aCoen-Porisinio, Alberto _9780845 |
||
| 100 |
_aGhezzi, Carlo _9142040 |
||
| 100 |
_aKemmerer, Richard A. _9774270 |
||
| 245 | 0 | _aSpecitication of Realtime Systems Using Astral | |
| 300 | _a572-598 p. | ||
| 650 |
_a Formal Methods _9701090 |
||
| 650 |
_a Formal Specification _9716778 |
||
| 650 |
_aTemporal Logic _9774285 |
||
| 773 |
_d1997 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c745388 _d745388 |
||