000 | 00448nab a2200145Ia 4500 | ||
---|---|---|---|
008 | 230808s1992 |||||||f |||| 00| 0 eng d | ||
100 |
_aShaw, Alan C. _9141251 |
||
245 | 0 | _aCommunicating Real-Time State Machines | |
300 | _a805-816 p. | ||
650 |
_aConcurrent Systems _9775208 |
||
650 |
_aExecutable Spections _9789475 |
||
650 |
_aState Space _9767598 |
||
773 |
_d1992 _tIEEE Transactions on Software Engineering _x00985589 |
||
942 |
_cART _o51 _pABUL KALAM Library |
||
999 |
_c749733 _d749733 |