Browse wiki

From Navigators

Jump to: navigation, search
Publication:Mario-baptista1991formal-specification-91
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  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox
Navigators toolbox