Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II
Crossref DOI link: https://doi.org/10.3103/S0146411617070094
Published Online: 2018-02-07
Published Print: 2017-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gromov, M. L.
Shabaldina, N. V.
Text and Data Mining valid from 2017-12-01
Article History
Received: 5 September 2016
First Online: 7 February 2018