Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupré, Louise Travé-Massuyès. Model-Based Diagnosability Analysis for Web Services. In Roberto Basili, Maria Teresa Pazienza, editors, AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings. Volume 4733 of Lecture Notes in Computer Science, pages 24-35, Springer, 2007. [doi]
Abstract is missing.