Cover Image
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 /

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:
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!