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
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
quartile
Q2
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
ISSN
0302-9743
ISBN
978-3-319-73116-2
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory