Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings /

Saved in:
Corporate Author: FORMATS (Conference) Florence, Italy)
Other Authors: Legay, Axel, (Editor)
Bozga, Marius,
(Editor)
Format: Book Electronic
Language:English
Published:Cham : Springer, 2014.
Series:Lecture notes in computer science ; 8711.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subjects:
Online Access:Available to SAIC students, faculty and staff 
Tags: Add Tag
No Tags, Be the first to tag this record!

School of the Art Institute of Chicago

Location: Digital Resource

Online Access:Available to SAIC students, faculty and staff