Automata transformations of prefix decidable and decidable by Buchi superwords
Crossref DOI link: https://doi.org/10.3103/S1066369X16070070
Published Online: 2016-06-16
Published Print: 2016-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Korneeva, N. N.
License valid from 2016-06-16