Publications:Formal specification and analysis of accelerated heartbeat protocols

From CERES
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Formal specification and analysis of accelerated heartbeat protocols
Author Muhammad Atif and Mohammad Reza Mousavi
Year 2009
PublicationType Report
Journal
HostPublication
DOI
Conference
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:585563
Abstract
Retrieved from "https://wiki.hh.se/ceres/index.php?title=Publications:Formal_specification_and_analysis_of_accelerated_heartbeat_protocols&oldid=4106"