Jürgen Ruf. A Toolset for the Symbolic Examination of Finite State Transition Systems. In Klaus Waldschmidt, Christoph Grimm, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000. pages 69-78, VDE, 2000.
Abstract is missing.