| 000 | 00529nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1991 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aKshemkalyani, Ajay D. _9777059 |
||
| 100 |
_aSinghal, Mukesh _9143464 |
||
| 245 | 0 | _aInvariant-Based Verification of a Distributed Deadlock Detection Algorithm | |
| 300 | _a789-799 p. | ||
| 650 |
_aCorrectness _9715598 |
||
| 650 |
_aDistributed Algorithms _9786041 |
||
| 650 | _aDistributed Databases | ||
| 773 |
_d1991 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c749528 _d749528 |
||