Christian Carrez

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Christian Toinard, Gerard Florin, Christian Carrez
A Formal Method to Prove Ordering Properties of Multicast Systems. ACM SIGOPS Oper. Syst. Rev. 33 (4) (1999)