共 50 条
- [31] Partial-order methods for model checking: From linear time to branching time 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 294 - 303
- [37] Generating Counterexamples for Model Checking by Transformation ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (216): : 65 - 82