|
 
|
[TFC99] A Formal Method to Prove Ordering Properties of Multicast Systems
Revue Internationale avec comité de lecture : Journal ACM Operating System Review, 1999
motcle:
BibTeX
| @article { | |||
| TFC99, | |||
| title | = | "{A Formal Method to Prove Ordering Properties of Multicast Systems}", | |
| author | = | "C. Toinard and G. Florin and C. Carrez", | |
| journal | = | "ACM Operating System Review", | |
| year | = | 1999, | |
| } | |||
