Quotients and atoms of reversible languages
Tamm, Hellis
Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
2020
/
p. 443-455
https://doi.org/10.1007/978-3-030-54997-8_28
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85089715772&origin=inward&txGid=fec30d6a2b0cd2efd40d2a110267e002