TY  - GEN
AU  - Jansen, David N.
AU  - Prabhakar, Pavithra,
CN  - QA76.9.F67
DO  - 10.1007/978-3-030-00151-3
DO  - doi
ID  - 845796
KW  - Formal methods (Computer science)
KW  - Computer simulation
KW  - Temporal automata
KW  - System analysis
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-00151-3
N1  - International conference proceedings.
N1  - Includes author index.
SN  - 9783030001513
SN  - 3030001512
T1  - Formal modeling and analysis of timed systems :16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /
TI  - Formal modeling and analysis of timed systems :16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-00151-3
VL  - 11022
ER  -