“Formal specification and verification of a network independent atomic multicast protocol”
From Navigators
(Difference between revisions)
Jcraveiro (Talk | contribs)
(NavsPubsFull5.xml import (201201141459, full reimport with new ids for legacy pubs avoiding collisions))
Newer edit →
(NavsPubsFull5.xml import (201201141459, full reimport with new ids for legacy pubs avoiding collisions))
Newer edit →
Revision as of 14:42, 14 January 2013
Mário Baptista, Luís Rodrigues, Paulo Veríssimo, S. Graf, J. L. Richier, C. Rodriguez, J. Voiron
in 1991. Formal Description Techniques, III, pages 345-352, J. Quemada, J. Mañas, and E. Vazques, editors, North-Holland
Missing publisher, Jan. 1991.
Abstract: —
Download paper
Download Formal specification and verification of a network independent atomic multicast protocol
Export citation
Project(s):
Missing ResearchLine