DRECHSLER, Rolf (Hrsg.). [book]. 2015. Wiesbaden: Springer Vieweg. ISBN 3658099933.
Elsevier - Harvard (with titles)Drechsler, R. (Hrsg.), 2015. Formal modeling and verification of cyber-physical systems : 1 st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015.
American Psychological Association 7th editionDrechsler, R. (Hrsg.). (ca. 2015). Formal modeling and verification of cyber-physical systems : 1 st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 [Book]. Springer Vieweg.
Springer - Basic (author-date)Drechsler R (Hrsg.) (2015) Formal modeling and verification of cyber-physical systems : 1 st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Juristische Zitierweise (Stüber) (Deutsch)Drechsler, Rolf (Hrsg.), Formal modeling and verification of cyber-physical systems : 1 st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015, 2015, .