Logical Analysis of Hybrid Systems

MLA

Platzer, André. Logical Analysis of Hybrid Systems. Springer Berlin Heidelberg, 2010.

APA

Platzer, A. (2010). Logical Analysis of Hybrid Systems. Springer Berlin Heidelberg.

Chicago

Platzer, André, and André Platzer. Logical Analysis of Hybrid Systems. : Springer Berlin Heidelberg, 2010.