Symbolische Methoden für die Verifikation endlicher Zustandssysteme - Filkorn, Thomas (1992)
München, Technische Univ., Diss., 1992