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.
@inproceedings{Ziller02,
title = {Finding Bad States during Symbolic Supervisor Synthesis},
author = {Roberto Ziller},
year = {2002},
researchr = {https://researchr.org/publication/Ziller02},
cites = {0},
citedby = {0},
pages = {209-218},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002},
editor = {Jürgen Ruf},
publisher = {Shaker},
}