“Formal specification and verification of a network independent atomic multicast protocol”
From Navigators
(Difference between revisions)
(NavsPubsFull5.xml import (201201141459, full reimport with new ids for legacy pubs avoiding collisions)) |
|||
Line 1: | Line 1: | ||
{{Publication | {{Publication | ||
- | |title= | + | |type=incollection |
- | + | |title=Formal specification and verification of a network independent atomic multicast protocol | |
- | + | |author=Mário Baptista, Luís Rodrigues, Paulo Veríssimo, S. Graf, J. L. Richier, C. Rodriguez, J. Voiron | |
- | + | |month=jan | |
- | + | |year=1991 | |
- | + | |booktitle=Formal Description Techniques, III | |
- | + | |editor=J. Quemada, J. Mañas, E. Vazques | |
- | |author= | + | |pages=345-352 |
- | + | |publisher=North-Holland | |
- | | | + | |url=http://www.navigators.di.fc.ul.pt/docs/abstracts/formal-spec.html |
- | + | ||
- | | | + | |
- | + | ||
- | + | ||
- | + | ||
- | |booktitle= | + | |
- | + | ||
- | | | + | |
- | + | ||
- | | | + | |
- | + | ||
}} | }} |
Latest revision as of 17:12, 14 January 2013
Mário Baptista, Luís Rodrigues, Paulo Veríssimo, S. Graf, J. L. Richier, C. Rodriguez, J. Voiron
in Formal Description Techniques, III, J. Quemada, J. Mañas, E. Vazques, Eds.
North-Holland, Jan. 1991, pp. 345–352.
Abstract: —
Download paper
Download Formal specification and verification of a network independent atomic multicast protocol
Export citation
Project(s):
Missing ResearchLine