Mouna Chaouch-Saad

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

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

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

Coauthor Index