"A formal framework for the decentralised diagnosis of large scale discrete ..."

Yannick Pencolé, Marie-Odile Cordier (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics