TY  - BOOK
AU  - Catalin Dima, Mahsa Shirmohammadi.
TI  - Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
SN  - 9783030850371
PY  - 2021///
CY  - Cham
PB  - Springer
KW  - Computer science. Software engineering. Computer systems. Computers, Special purpose. Computer simulation. Microprogramming . Theory of Computation. Software Engineering. Computer System Implementation. Special Purpose and Application-Based Systems. Computer Modelling. Control Structures and Microprogramming
UR  - https://doi.org/10.1007/978-3-030-85037-1
ER  -