print

Quotients and atoms of reversible languages

author
Tamm, Hellis
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
Springer
year of publication
2020
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
url
https://doi.org/10.1007/978-3-030-54997-8_28
subject term
abstraktsed automaadid
automaaditeooria
Scopus
Conference proceedings at Scopus
Article at Scopus
kvartiil
Q3
category (general)
Computer science
Mathematics
category (sub)
Computer science. General computer science
Mathematics. Theoretical computer science
keyword
reversible deter-ministic finite automata (REV-DFAs)
ISSN
0302-9743
ISBN
978-3-030-54996-1
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory
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). https://doi.org/10.1007/978-3-030-54997-8_28