Browse wiki

From CERES
Jump to: navigation, search
Publications:Formal specification and analysis of accelerated heartbeat protocols
Author Muhammad Atif + , Mohammad Reza Mousavi +
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:585563
PublicationType Report  +
Publisher Technische Universiteit Eindhoven  +
Series Computer science report ; 09-04  +
Title Formal specification and analysis of accelerated heartbeat protocols  +
Year 2009  +
Has queryThis property is a special property in this wiki. Publications:Formal specification and analysis of accelerated heartbeat protocols + , Publications:Formal specification and analysis of accelerated heartbeat protocols + , Publications:Formal specification and analysis of accelerated heartbeat protocols + , Publications:Formal specification and analysis of accelerated heartbeat protocols + , Publications:Formal specification and analysis of accelerated heartbeat protocols + , Publications:Formal specification and analysis of accelerated heartbeat protocols + , Publications:Formal specification and analysis of accelerated heartbeat protocols + , Publications:Formal specification and analysis of accelerated heartbeat protocols + , Publications:Formal specification and analysis of accelerated heartbeat protocols + , Publications:Formal specification and analysis of accelerated heartbeat protocols +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:43:21  +
show properties that link here 

 

Enter the name of the page to start browsing from.