Model checking the HAVi leader election protocol / J.M.T. Romijn
mainEntity
Model checking the HAVi leader election protocol / J.M.T. Romijn
about
author
inLanguage
isPartOf
mainEntityOfPage
name
Model checking the HAVi leader election protocol
numberOfPages
publication
sameAs
label
Model checking the HAVi leader election protocol / J.M.T. Romijn