Cited By
View all- Jančík PKofroň J(2017)On partial state matchingFormal Aspects of Computing10.1007/s00165-016-0413-z29:5(777-803)Online publication date: 1-Sep-2017
- Jančík PKofroň JOssowski S(2016)Dead variable analysis for multi-threaded heap manipulating programsProceedings of the 31st Annual ACM Symposium on Applied Computing10.1145/2851613.2851826(1620-1627)Online publication date: 4-Apr-2016
- Biallas SBrauer JGückel DKowalewski S(2011)On-The-Fly Path ReductionElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2011.07.003274(3-16)Online publication date: 1-Aug-2011
- Show More Cited By