Cited By
View all- Gotlieb AMarijan DSpieker H(2018)Stratified Constructive Disjunction and Negation in Constraint Programming2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)10.1109/ICTAI.2018.00026(106-113)Online publication date: Nov-2018
- Dreyfus AHéam PKouchnarenko OMasson C(2014)A random testing approach using pushdown automataSoftware Testing, Verification & Reliability10.1002/stvr.152624:8(656-683)Online publication date: 1-Sep-2014
- Gotlieb ADenmat TLazaar N(2013)Constraint-based reachabilityElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.107.4107(25-43)Online publication date: 10-Feb-2013
- Show More Cited By