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:SpringerLink Link to Formal modeling and analysis of timed systems  (access limited to Benedictine University patrons)
Tags: Add Tag
No Tags, Be the first to tag this record!

Benedictine University

Location: Electronic Item

Call Number: Springer
Copy 1
Online Access:SpringerLink Link to Formal modeling and analysis of timed systems : (access limited to Benedictine University patrons)