Atif, Muhammad <br/><br/>
Formal modeling and verification of distributed failure detectors  [Book] / 
Muhammad Atif. 
 - xii, 214 p.,  22 cm. 
<br/><br/> Includes index 
<br/><br/> All. 
<br/><br/><label>ISBN: </label>9789038626208 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Detectors (Sensors)--manufacturing technology.<br/>Detectors.
<br/><br/><label>Dewey Class. No.: </label>681.2