Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings /
|Published:||Cham : Springer, 2014.|
|Series:||Lecture notes in computer science ;
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|Online Access:||Available to SAIC students, faculty and staff |
No Tags, Be the first to tag this record!