full record print

Theoretical aspects of symbolic automata

author
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
year of publication
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
ISSN
0302-9743
ISBN
978-3-319-73116-2
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Reserch Group
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