共 50 条
- [43] Compositional Abstraction in Real-Time Model Checking FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2008, 5215 : 233 - 249
- [44] Symbolic model checking of real-time systems EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 214 - 223
- [45] On expressiveness and complexity in real-time model checking AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS, 2008, 5126 : 124 - +
- [46] Real-time model checking: Algorithms and complexity TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2008, : 19 - 19
- [47] Real-time model checking is really simple CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 162 - 175
- [48] Incremental Methods for Checking Real-Time Consistency FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2020, 2020, 12288 : 249 - 264
- [49] Partition refinement in real-time model checking FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 143 - 157