Cited By
View all- Veanes MBall TEbner GZhuchko E(2025)Symbolic Automata: Omega-Regularity Modulo TheoriesProceedings of the ACM on Programming Languages10.1145/37048389:POPL(33-66)Online publication date: 9-Jan-2025
- Baldan PKönig BPadoan T(2024)Systems of Fixpoint Equations: Abstraction, Games, Up-To Techniques and Local AlgorithmsInformation and Computation10.1016/j.ic.2024.105233(105233)Online publication date: Oct-2024
- Montali MWinkler S(2024)Equivalence of Data Petri Nets with ArithmeticBusiness Process Management Workshops10.1007/978-3-031-50974-2_31(409-421)Online publication date: 11-Jan-2024
- Show More Cited By