TY  - BOOK
AU  - Bernardo,Marco
AU  - Vink,Erik de
AU  - Pierro,Alessandra Di
AU  - Wiklicky,Herbert
TI  - Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures 
SN  - 9783642388743
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computers
KW  - Computer logic
KW  - Bioinformatics
N1  - Chaotic dynamics -- Information theory -- Systems biology -- Hybrid systems -- Quantum computing -- Automata-based models and model checking
UR  - http://dx.doi.org/10.1007/978-3-642-38874-3
ER  -