David Trachtenherz. Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme. PhD thesis, Technical University Munich, 2009. [doi]
@phdthesis{de-5199, title = {Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme}, author = {David Trachtenherz}, year = {2009}, url = {http://mediatum2.ub.tum.de/doc/796692/document.pdf}, note = {http://d-nb.info/995183651}, researchr = {https://researchr.org/publication/de-5199}, cites = {0}, citedby = {0}, school = {Technical University Munich}, }