Daniela Schilling. Kompositionale Softwareverifikation mechatronischer Systeme. PhD thesis, University of Paderborn, 2006. [doi]
@phdthesis{de-4469, title = {Kompositionale Softwareverifikation mechatronischer Systeme}, author = {Daniela Schilling}, year = {2006}, url = {http://ubdata.uni-paderborn.de/ediss/17/2006/schillin/}, note = {http://d-nb.info/983285101}, researchr = {https://researchr.org/publication/de-4469}, cites = {0}, citedby = {0}, school = {University of Paderborn}, }