共 50 条
- [2] Abstract Counterexamples for Non-disjunctive Abstractions [J]. REACHABILITY PROBLEMS, PROCEEDINGS, 2009, 5797 : 176 - 188
- [5] FACILITATION IN THE ABSTRACT SELECTION TASK - THE EFFECTS OF ATTENTIONAL AND INSTRUCTIONAL FACTORS [J]. QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY SECTION A-HUMAN EXPERIMENTAL PSYCHOLOGY, 1993, 46 (04): : 591 - 613
- [6] Incompleteness, counterexamples, and refinements in abstract model-checking [J]. STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 356 - 373
- [7] Detecting Spurious Counterexamples Efficiently in Abstract Model Checking [J]. PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 202 - 211
- [9] Concrete problems in the abstract deontic selection task-And how to solve them [J]. QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY, 2012, 65 (07): : 1414 - 1429
- [10] Understanding Procedural Knowledge for Solving Arithmetic Task by Externalization [J]. INTELLIGENT TUTORING SYSTEMS, ITS 2016, 2016, 9684 : 3 - 12