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 /
|Format:||Online Conference Proceeding Book|
Berlin ; New York :
|Series:||Lecture notes in computer science ;
LNCS sublibrary. Programming and software engineering.
|Online Access:||Online version|
No Tags, Be the first to tag this record!