Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
A Formal Method to Prove Ordering Properties of Multicast Systems
[TFC99] A Formal Method to Prove Ordering Properties of Multicast Systems
Revue Internationale avec comité de lecture : Journal ACM Operating System Review, 1999
motcle:
| @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, | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |