Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Muhammad Atif, Mohammad Reza Mousavi, A. Osaiweran. Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 478-485, ACM, 2012. [doi]

This author has not been identified. Look up 'Muhammad Atif' in GoogleThis author has not been identified. Look up 'Mohammad Reza Mousavi' in GoogleThis author has not been identified. Look up 'A. Osaiweran' in Google

runs on WebDSL