Cited By
View all- Rodrigues NSebe MChen XRoşu G(2024)A Logical Treatment of Finite AutomataTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-57246-3_20(350-369)Online publication date: 4-Apr-2024
- Saarikivi OVeanes MWan TXu E(2019)Symbolic Regex MatcherTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-030-17462-0_24(372-378)Online publication date: 6-Apr-2019
- TRAYTEL DNIPKOW T(2015)Verified decision procedures for MSO on words based on derivatives of regular expressionsJournal of Functional Programming10.1017/S095679681500024625Online publication date: 5-Nov-2015
- Show More Cited By