Deriving Synchronizing and Homing Sequences for Input/Output Automata
Crossref DOI link: https://doi.org/10.3103/S0146411618070167
Published Online: 2019-03-04
Published Print: 2018-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kushik, N. G.
Yevtushenko, N. V.
Burdonov, I. B.
Kossatchev, A. S.
Text and Data Mining valid from 2018-12-01
Article History
Received: 3 September 2017
First Online: 4 March 2019