TY  - GEN
AU  - Legay, Axel,
AU  - Bozga, Marius,
CN  - SpringerLink
CN  - QA76.9.C65
DO  - 10.1007/978-3-319-10512-3
DO  - doi
ID  - 707513
KW  - Computer simulation
KW  - Temporal automata
KW  - Formal methods (Computer science)
KW  - System analysis
LK  - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-10512-3
N1  - International conference proceedings.
N1  - Includes author index.
SN  - 9783319105123
SN  - 3319105124
T1  - Formal modeling and analysis of timed systems12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings /
TI  - Formal modeling and analysis of timed systems12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-10512-3
VL  - 8711
ER  -