dblp.uni-trier.de

Francesc Babot

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM - CiteSeer - CSB - Google - HomePageSearch
2005
1EEFrancesc Babot, Miquel Bertran, August Climent: A Static Communication Elimination Algorithm for Distributed System Verification. ICFEM 2005: 375-389

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Sun Dec 18 00:22:09 2005