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