| 000 | 00386nam a22001337a 4500 | ||
|---|---|---|---|
| 020 | _a9789038626208 | ||
| 040 | _cNUST | ||
| 082 |
_a681.2 _bATI |
||
| 100 |
_aAtif, Muhammad _955433 |
||
| 245 |
_aFormal modeling and verification of distributed failure detectors _cMuhammad Atif _hEnglish |
||
| 260 |
_aSamundri, Pakistan _bGeboren te _c2011 |
||
| 300 | _axii, 214 p., | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c566280 _d566280 |
||