@phdthesis{phd/de/Schilling2006,
  added-at = {2020-02-12T00:00:00.000+0100},
  author = {Schilling, Daniela},
  biburl = {https://www.bibsonomy.org/bibtex/2a4df049dc552f025476b21af5ce5da2b/dblp},
  ee = {http://d-nb.info/983804230},
  interhash = {a019f71abbe6c6f61bc088f63b8ac694},
  intrahash = {a4df049dc552f025476b21af5ce5da2b},
  keywords = {dblp},
  pages = {1-189},
  school = {University of Paderborn, Germany},
  timestamp = {2020-02-13T11:49:28.000+0100},
  title = {Kompositionale Softwareverifikation mechatronischer Systeme.},
  year = 2006
}

{"_id":"ziZwuK76CvTgA4wJF","bibbaseid":"schilling-kompositionalesoftwareverifikationmechatronischersysteme-2006","authorIDs":[],"author_short":["Schilling, D."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","added-at":"2020-02-12T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Schilling"],"firstnames":["Daniela"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2a4df049dc552f025476b21af5ce5da2b/dblp","ee":"http://d-nb.info/983804230","interhash":"a019f71abbe6c6f61bc088f63b8ac694","intrahash":"a4df049dc552f025476b21af5ce5da2b","keywords":"dblp","pages":"1-189","school":"University of Paderborn, Germany","timestamp":"2020-02-13T11:49:28.000+0100","title":"Kompositionale Softwareverifikation mechatronischer Systeme.","year":"2006","bibtex":"@phdthesis{phd/de/Schilling2006,\n added-at = {2020-02-12T00:00:00.000+0100},\n author = {Schilling, Daniela},\n biburl = {https://www.bibsonomy.org/bibtex/2a4df049dc552f025476b21af5ce5da2b/dblp},\n ee = {http://d-nb.info/983804230},\n interhash = {a019f71abbe6c6f61bc088f63b8ac694},\n intrahash = {a4df049dc552f025476b21af5ce5da2b},\n keywords = {dblp},\n pages = {1-189},\n school = {University of Paderborn, Germany},\n timestamp = {2020-02-13T11:49:28.000+0100},\n title = {Kompositionale Softwareverifikation mechatronischer Systeme.},\n year = 2006\n}\n\n","author_short":["Schilling, D."],"key":"phd/de/Schilling2006","id":"phd/de/Schilling2006","bibbaseid":"schilling-kompositionalesoftwareverifikationmechatronischersysteme-2006","role":"author","urls":{"Link":"http://d-nb.info/983804230"},"keyword":["dblp"],"downloads":0},"bibtype":"phdthesis","biburl":"http://www.bibsonomy.org/bib/author/schilling?items=1000","creationDate":"2020-07-22T11:14:11.875Z","downloads":0,"keywords":["dblp"],"search_terms":["kompositionale","softwareverifikation","mechatronischer","systeme","schilling"],"title":"Kompositionale Softwareverifikation mechatronischer Systeme.","year":2006,"dataSources":["wzaMXjDv6gdxH4D3T"]}