%0 Thesis %1 phd/dnb/Krause12 %A Krause, Jan %D 2012 %I Shaker %K dblp %P 1-211 %T Testfallgenerierung aus modellbasierten Systemspezifikationen auf der Basis von Petrinetzentfaltungen. %@ 978-3-8440-0719-0

@phdthesis{phd/dnb/Krause12, added-at = {2016-04-14T00:00:00.000+0200}, author = {Krause, Jan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/227cccb51d702587c7bdf0a0886481068/dblp}, ee = {http://d-nb.info/1018469184}, interhash = {7710478adaf7a860c5d965efc3c04439}, intrahash = {27cccb51d702587c7bdf0a0886481068}, isbn = {978-3-8440-0719-0}, keywords = {dblp}, pages = {1-211}, publisher = {Shaker}, school = {Otto von Guericke University Magdeburg}, timestamp = {2016-04-15T09:32:12.000+0200}, title = {Testfallgenerierung aus modellbasierten Systemspezifikationen auf der Basis von Petrinetzentfaltungen.}, year = 2012 }