Kompositionale Softwareverifikation mechatronischer Systeme. Schilling, D. Ph.D. Thesis, University of Paderborn, Germany, 2006.
Kompositionale Softwareverifikation mechatronischer Systeme. [link]Link  bibtex   
@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
}
Downloads: 0