Regex decision procedures in extended RE#
pealkirja tõlge
Regulaaravaldiste otsustusprotseduurid laiendatud RE#-s
vastutusandmed
Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko & Juhan Ernits
allikas
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part III
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 106-129 : ill
seeria-sari
Lecture notes in computer science ; 15933
konverentsi nimetus, aeg
37th International Conference, Computer Aided Verification, July 23–25, 2025
konverentsi toimumispaik
Zagreb, Croatia
leitav
ISSN
1611-3349
ISBN
978-3-031-98682-6
märkused
Bibliogr.: 49 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
klassifikaator
kategooria (üld)
kategooria (alam)
Varatalu, I.E., Veanes, M., Zhuchko, E., Ernits, J.-P. Regex decision procedures in extended RE# // Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part III. Cham : Springer, 2025. p. 106-129 : ill. (Lecture notes in computer science ; 15933).