Atif, Muhammad <br/><br/>
Formal modeling and verification of distributed failure detectors  English 
Muhammad Atif 
 - Samundri, Pakistan  Geboren te  2011 
 - xii, 214 p.,  
<br/><br/><label>ISBN: </label>9789038626208 
<br/><br/><label>Dewey Class. No.: </label>681.2  / ATI