Gerhard Schellhorn
Englische Übersetzung der Dissertation "Verifikation abstrakter Zustandsmaschinen" zur Erlangung des Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) im Fachbereich Informatik der Universität Ulm