| 000 | 00572nab a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1994 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aAvrunin, George S. _9775203 |
||
| 100 |
_aCorbett, James C. _9775205 |
||
| 100 |
_aWileden, Jack C. _9775207 |
||
| 245 | 0 | _aAutomated Derivation of Time Bounds in Uniprocessor Concurrent Systems | |
| 300 | _a708-719 p. | ||
| 650 |
_aConcurrent Systems _9775208 |
||
| 650 |
_aReal-Time Systems _9147389 |
||
| 650 |
_aAutomated Analysis _9701820 |
||
| 773 |
_d1994 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c743037 _d743037 |
||