To Simplification of Timed Automata During Synchronization of Components of Physical Systems
Crossref DOI link: https://doi.org/10.1007/s11182-016-0695-x
Published Online: 2016-03-18
Published Print: 2016-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gromov, M. L.
Evtushenko, N. V.
Text and Data Mining valid from 2016-03-01