Quotients and atoms of reversible languages
author
statement of authorship
Hellis Tamm
source
Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
location of publication
Cham
publisher
year of publication
pages
p. 443-455
series
Lecture notes in computer science ; 12233
conference name, date
FM 2019 : International Symposium on Formal Methods, October 7-11, 2019
conference location
Porto, Portugal
ISSN
0302-9743
ISBN
978-3-030-54996-1
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
reversible deter-ministic finite automata (REV-DFAs)
category (general)
Reserch Group
Tamm, H. Quotients and atoms of reversible languages // Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Cham : Springer, 2020. p. 443-455. (Lecture notes in computer science ; 12233).