Roberto Ziller. Finding Bad States during Symbolic Supervisor Synthesis. In Jürgen Ruf, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002. pages 209-218, Shaker, 2002.
Abstract is missing.