Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}