A Flattening Algorithm for Hierarchical Timed Automata
Crossref DOI link: https://doi.org/10.1007/s10598-019-09438-x
Published Online: 2019-04-24
Published Print: 2019-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Podymov, V. V.
Text and Data Mining valid from 2019-04-01
Article History
First Online: 24 April 2019