“Formal specification and verification of a network independent atomic multicast protocol”

From Navigators

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

BibTeX

Project(s):

Missing ResearchLine