Symbolic Automata: Omega-Regularity Modulo Theories
autor
vastutusandmed
Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 9, POPL
ilmumisaasta
leheküljed
art. 2, p. 33-66 : ill
võtmesõna
ISSN
2475-1421
märkused
Bibliogr.: 112 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
TTÜ struktuuriüksus
keel
inglise
Veanes, M., Ball, T., Ebner, G., Zhuchko, E. Symbolic Automata: Omega-Regularity Modulo Theories // Proceedings of the ACM on Programming Languages (2025) vol. 9, POPL, art. 2, p. 33-66 : ill.