Christian Carrez

According to our database, Christian Carrez authored at least 1 paper in 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1999

A Formal Method to Prove Ordering Properties of Multicast Systems.

Christian Toinard, Gerard Florin, Christian Carrez

ACM SIGOPS Oper. Syst. Rev., 1999