%0 Thesis %1 Kick1996 %A Kick, Alexander %D 1996 %K dblp imported puma test %P I-V, 1-115 %T Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung.

@phdthesis{Kick1996, added-at = {2017-05-18T15:42:02.000+0200}, author = {Kick, Alexander}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2134222d77e77d839b5f4524111b15bf1/droessler}, groups = {public}, interhash = {a26f8bcafe5bbf7bce6722e93b1e9a97}, intrahash = {134222d77e77d839b5f4524111b15bf1}, keywords = {dblp imported puma test}, pages = {I-V, 1-115}, school = {Universität Karlsruhe}, timestamp = {2018-02-28T22:22:32.000+0100}, title = {Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung.}, username = {droessler}, year = 1996 }