print

Theoretical aspects of symbolic automata

author
Tamm, Hellis
Veanes, Margus
statement of authorship
Hellis Tamm and Margus Veanes
source
SOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings
location of publication
Cham
publisher
Springer
year of publication
2018
pages
p. 428-441
series
Lecture notes in computer science ; 10706
conference name, date
SOFSEM 2018 : 44th International Conference on Current Trendsin Theory and Practice of Computer Science, January 29 - February 2, 2018
conference location
Krems, Austria
url
https://doi.org/10.1007/978-3-319-73117-9_30
subject term
abstraktsed automaadid
automaaditeooria
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Conference Proceedings at WOS
Article at WOS
kvartiil
Q2
category (general)
Computer science
Mathematics
category (sub)
Computer science. General computer science
Mathematics. Theoretical computer science
ISSN
0302-9743
ISBN
978-3-319-73116-2
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory
Tamm, H., Veanes, M. Theoretical aspects of symbolic automata // SOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings. Cham : Springer, 2018. p. 428-441. (Lecture notes in computer science ; 10706). https://doi.org/10.1007/978-3-319-73117-9_30