full record print

Regex decision procedures in extended RE#

author
translation of title
Regulaaravaldiste otsustusprotseduurid laiendatud RE#-s
statement of authorship
Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko & Juhan Ernits
source
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part III
location of publication
Cham
publisher
year of publication
pages
p. 106-129 : ill
series
Lecture notes in computer science ; 15933
conference name, date
37th International Conference, Computer Aided Verification, July 23–25, 2025
conference location
Zagreb, Croatia
url
ISSN
1611-3349
ISBN
978-3-031-98682-6
notes
Bibliogr.: 49 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
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). https://link.springer.com/chapter/10.1007/978-3-031-98682-6_7 https://doi.org/10.1007/978-3-031-98682-6_7