TY  - GEN
AU  - Fränzle, Martin,
AU  - Markey, Nicolas,
CN  - QA76.9.C65
ID  - 760159
KW  - Computer simulation
KW  - Temporal automata
KW  - Formal methods (Computer science)
KW  - System analysis
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-44878-7
SN  - 9783319448787
SN  - 3319448781
T1  - Formal modeling and analysis of timed systems14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings /
TI  - Formal modeling and analysis of timed systems14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-44878-7
VL  - 9884
ER  -