Browse wiki

From CERES
Jump to: navigation, search
Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems
Author Muhammad Atif + , Mohammad Reza Mousavi + , Ammar Osaiweran +
Conference 27th Annual ACM Symposium on Applied Computing, SAC 2012, Trento, Italy, 26-30 March
DOI http://dx.doi.org/10.1145/2245276.2245369  +
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583410
EndPage 485  +
HostPublication SAC '12 Proceedings of the 27th ACM Symposium on Applied Computing  +
PublicationType Conference Paper  +
Publisher ACM Press  +
StartPage 478  +
Title Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems  +
Year 2012  +
Has queryThis property is a special property in this wiki. Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + , Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + , Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + , Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + , Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + , Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + , Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + , Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + , Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems + , Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:43:21  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Retrieved from "https://wiki.hh.se/ceres/index.php/Special:Browse/Publications:Formal-20Verification-20of-20Unreliable-20Failure-20Detectors-20in-20Partially-20Synchronous-20Systems"