共 50 条
- [4] A symbolic approach to predicate abstraction COMPUTER AIDED VERIFICATION, 2003, 2725 : 141 - 153
- [7] Abstraction by symbolic indexing transformations FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2002, 2517 : 1 - 18
- [8] Priority and abstraction in process algebra FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1994, 880 : 217 - 230