Author
|
Mário Baptista +
, Luís Rodrigues +
, Paulo Verissimo +
, S. Graf +
, J. L. Richier +
, C. Rodriguez +
, J. Voiron +
|
Booktitle
|
Formal Description Techniques, III +
|
Editor
|
J. Quemada +
, J. Mañas +
, E. Vazques +
|
Key
|
Mario-baptista1991formal-specification-91 +
|
Missing
|
abstract +
, ResearchLine +
|
Month
|
jan +
|
NumPubDate
|
1,991.01 +
|
Pages
|
345–352 +
|
Publisher
|
North-Holland +
|
Title
|
Formal specification and verification of a network independent atomic multicast protocol +
|
Type
|
incollection +
|
Url
|
http://www.navigators.di.fc.ul.pt/docs/abstracts/formal-spec.html +
|
Year
|
1991 +
|
Categories |
Publication +
|
Modification dateThis property is a special property in this wiki.
|
14 January 2013 17:12:15 +
|