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

@phdthesis{phd/dnb/Krause12, added-at = {2023-12-13T01:49:54.000+0100}, author = {Krause, Jan}, biburl = {https://www.bibsonomy.org/bibtex/227cccb51d702587c7bdf0a0886481068/admin}, ee = {http://d-nb.info/1018469184}, interhash = {7710478adaf7a860c5d965efc3c04439}, intrahash = {27cccb51d702587c7bdf0a0886481068}, isbn = {978-3-8440-0719-0}, keywords = {}, pages = {1-211}, publisher = {Shaker}, school = {Otto von Guericke University Magdeburg}, timestamp = {2023-12-13T01:49:54.000+0100}, title = {Testfallgenerierung aus modellbasierten Systemspezifikationen auf der Basis von Petrinetzentfaltungen.}, year = 2012 }