| 000 | 00580nab a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1993 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aKim Cheng, Albert Mo _9789269 |
||
| 100 |
_aBrowne, James C. _9785369 |
||
| 100 |
_aMok, Aloysius K. _9779956 |
||
| 245 | 0 | _aAnalysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specitied in Estelia | |
| 300 | _a863-885 p. | ||
| 650 |
_aEstelia _9787858 |
||
| 650 |
_aReal-Time - _9693684 |
||
| 650 |
_aVerification _9713714 |
||
| 773 |
_d1993 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c749137 _d749137 |
||