00491nam a22001457a 4500020001800000040000900018082001500027100002600042245009400068260004100162300001800203942001200221999001900233952009300252  a9789038626208  cNUST  a681.2bATI  aAtif, Muhammad955433  aFormal modeling and verification of distributed failure detectorscMuhammad AtifhEnglish  aSamundri, PakistanbGeboren tec2011  axii, 214 p.,   2ddccBK  c566280d566280  00102ddc4070aCLbCLd2021-06-19l0o681.2 ATIpCL-D-1076r2021-06-19w2021-06-19yBK