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 /
Saved in:

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 /

Bibliographic Details
Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service)
Other Authors: Bernardo, Marco
Format: Online Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2013.
Series:Lecture notes in computer science ; 7938.
LNCS sublibrary. Programming and software engineering.
Subjects:
Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!