Publications:Formal specification and analysis of accelerated heartbeat protocols

From CERES
Revision as of 04:43, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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"