The following pages link to (Q4287476):
Displaying 6 items.
- Predicate Abstraction in a Program Logic Calculus (Q3605465) (← links)
- (Q4520488) (← links)
- (Q4800166) (← links)
- Collecting Semantics under Predicate Abstraction in the K Framework (Q4933282) (← links)
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL (Q5423882) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463965) (← links)