Mouna Chaouch-Saad

Publication Activity (10 Years)

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

Publications

Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. RP (2009)