%0 Thesis %1 phd/de/Schafer2007b %A Schäfer, Ingo %D 2007 %K dblp %P 1-137 %T Abstraktionsverfahren zur Eigenschaftsprüfung mit bounded model checking. %@ 978-3-86624-279-1

@phdthesis{phd/de/Schafer2007b, added-at = {2016-05-04T00:00:00.000+0200}, author = {Schäfer, Ingo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ebc0d79e0df1d794b791145435ebcf36/dblp}, ee = {http://d-nb.info/985693134}, interhash = {daae46b25e974fd73df9d296e078df32}, intrahash = {ebc0d79e0df1d794b791145435ebcf36}, isbn = {978-3-86624-279-1}, keywords = {dblp}, pages = {1-137}, school = {Darmstadt University of Technology}, timestamp = {2016-05-05T09:36:25.000+0200}, title = {Abstraktionsverfahren zur Eigenschaftsprüfung mit bounded model checking.}, year = 2007 }