prindi

Theoretical aspects of symbolic automata

autor
Tamm, Hellis
Veanes, Margus
vastutusandmed
Hellis Tamm and Margus Veanes
allikas
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
ilmumiskoht
Cham
kirjastus/väljaandja
Springer
ilmumisaasta
2018
leheküljed
p. 428-441
seeria-sari
Lecture notes in computer science ; 10706
konverentsi nimetus, aeg
SOFSEM 2018 : 44th International Conference on Current Trendsin Theory and Practice of Computer Science, January 29 - February 2, 2018
konverentsi toimumispaik
Krems, Austria
leitav
https://doi.org/10.1007/978-3-319-73117-9_30
märksõna
abstraktsed automaadid
automaaditeooria
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Conference Proceedings at WOS
Article at WOS
kvartiil
Q2
kategooria (üld)
Arvutiteadus
Matemaatika
kategooria (alam)
Arvutiteadus. Üldine arvutiteadus
Matemaatika. Teoreetiline arvutiteadus
ISSN
0302-9743
ISBN
978-3-319-73116-2
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
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