Serge Haddad. Exact and Approximate Diagnosis of Probabilistic Systems. In Mohamed Ghazel, Mohamed Jmaiel, editors, Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. Volume 1689 of CEUR Workshop Proceedings, pages 9, CEUR-WS.org, 2016. [doi]
Abstract is missing.