共 50 条
- [35] Review of theory in model abstraction ENABLING TECHNOLOGY FOR SIMULATION SCIENCE II, 1998, 3369 : 2 - 13
- [38] Model abstraction and the simulation sandbox ENABLING TECHNOLOGIES FOR SIMULATION SCIENCE VI, 2002, 4716 : 211 - 217
- [39] Model checking for action abstraction VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 112 - 126
- [40] Abstraction and refinement in model checking FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 219 - 242