Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung
By: Alexander Kick
Contributors: Universität Karlsruhe
Publisher: [s.n.]
Published: 1996
Place of publication: [s.l.]
Language: ger
Number of pages: 115
Notes: Thesis (doctoral)--Universität Karlsruhe, 1996.