Jens Schönherr, Bernd Straube. Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. 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 47-56, VDE, 2000.
Abstract is missing.