|
 
|
Christian Carrez
Edition
|
Professeur Equipe Parti depuis le 01/08/2005 Mail : Christian.Carrez  cna
Tel : 01 40 27 22 65 Fax : 01 40 27 27 09 |
Christian's Tag-Cloud : |
description
Publications
1999
-
[TFC99]
C. Toinard, G. Florin, C. Carrez.
"A Formal Method to Prove Ordering Properties of Multicast Systems",
ACM Operating System Review,
1999
