共 50 条
- [3] Ranking abstraction as a companion to predicate abstraction AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 1 - 1
- [4] Ranking abstraction as companion to predicate abstraction FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 1 - 12