"On opacity and diagnosability in discrete event systems modeled by ..."

Koichi Kobayashi, Kunihiko Hiraishi (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics