Home > 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
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
Book Informaton
Author
Marco Bernardo; Erik de Vink; Alessandra Di Pierro; Herbert Wiklicky
Series
Lecture Notes in Computer Science
Volume
7938
Year of Publication
2013
Publisher
Springer Berlin Heidelberg
Pages
VIII, 181
Language
en
ISBN
9783642388736, 9783642388743
ARI Id
1664706629308
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 7 of 7 entries
Chapters/Headings | Author(s) | Pages | Info |
1-28 | |||
29-62 | |||
63-112 | |||
113-149 | |||
150-179 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 7 of 7 entries