Cited By
View all- Dimitrova RMajumdar R(2018)Reachability analysis of reversal-bounded automata on series---parallel graphsActa Informatica10.1007/s00236-016-0290-155:2(153-189)Online publication date: 1-Mar-2018
- Abdulla PAtig MChen YDiep BHolík LRezine ARümmer P(2017)Flatten and conquer: a framework for efficient analysis of string constraintsACM SIGPLAN Notices10.1145/3140587.306238452:6(602-617)Online publication date: 14-Jun-2017
- Abdulla PAtig MChen YDiep BHolík LRezine ARümmer PCohen AVechev M(2017)Flatten and conquer: a framework for efficient analysis of string constraintsProceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3062341.3062384(602-617)Online publication date: 14-Jun-2017
- Show More Cited By