author = { Kick, Alexander },

title = { Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung },

publisher = {},

keywords = { Hochschulschrift , Verifikation , Model Checking , Temporale Logik },

year = {1996},

address = { },