共 50 条
- [2] Real time temporal logic: Past, present, future FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 2 - 16
- [4] Temporal logic with forgettable past 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 383 - 392
- [10] Regular Linear Temporal Logic with Past VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2010, 5944 : 295 - +