SpringerLink (Online service), Drechsler, R., & Kühne, U. (2015). Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Rolf Drechsler, και Ulrich Kühne. Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. Wiesbaden: Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015.
