Publikation Formal Modeling and Verification of Cyber-Physical Systems Rolf Drechsler; Ulrich Kühne In: Rolf Drechsler; Ulrich Kühne. Formal Modeling and Verification of Cyber-Physical Systems. Springer, 2015. BibTeX Export Formal Modeling and Verification of Cyber-Physical Systems@inbook{pub7878, author = { Drechsler, Rolf and Drechsler, Rolf and Kühne, Ulrich }, editor = { Drechsler, Rolf and Kühne, Ulrich }, title = {Formal Modeling and Verification of Cyber-Physical Systems}, booktitle = {Formal Modeling and Verification of Cyber-Physical Systems}, year = {2015}, publisher = {Springer} }