MPG.eBooks - Search Results - %22Italy%22

Cover Image

1

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...

Published 2013

Springer Berlin Heidelberg

“..., held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several...”