Platzer, A. (2010). Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer-Verlag Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)Platzer, AndrΓ©. Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)Platzer, AndrΓ©. Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer-Verlag Berlin Heidelberg, 2010.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.