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
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85041831906&origin=inward&txGid=ef5444c0489d38aa170b12da3394860c
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000542576400030
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
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