%0 Thesis %1 phd/dnb/Wenckstern20 %A von Wenckstern, Michael %B Aachener Informatik-Berichte, Software Engineering %D 2020 %I Shaker %K dblp %P 1-467 %T Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems. %V 44 %@ 978-3-8440-7239-6

@phdthesis{phd/dnb/Wenckstern20, added-at = {2022-08-03T00:00:00.000+0200}, author = {von Wenckstern, Michael}, biburl = {https://www.bibsonomy.org/bibtex/28c3a6ecabf280a179db4f4b1f6712e2e/dblp}, ee = {https://d-nb.info/1260389766}, interhash = {ff04c6f2adadb0daef8ea81569001a25}, intrahash = {8c3a6ecabf280a179db4f4b1f6712e2e}, isbn = {978-3-8440-7239-6}, keywords = {dblp}, pages = {1-467}, publisher = {Shaker}, school = {RWTH Aachen University, Germany}, series = {Aachener Informatik-Berichte, Software Engineering}, timestamp = {2024-04-09T08:24:38.000+0200}, title = {Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems.}, volume = 44, year = 2020 }