共 50 条
- [2] Bisimulation and model checking [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 338 - 341
- [3] Checking weak bisimulation and observation congruence for symbolic transition graphs [J]. COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY, 2001, : 34 - 40
- [4] Minimization of large state spaces using symbolic branching bisimulation [J]. PROCEEDINGS OF THE 2006 IEEE WORKSHOP ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2006, : 8 - +
- [5] A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 535 - 554
- [6] Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus [J]. Science in China Series E: Technological Sciences, 1999, 42 : 342 - 353
- [8] Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus [J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1999, 42 (04): : 342 - 353
- [10] Backward stochastic bisimulation in CSL model checking [J]. QEST 2004: FIRST INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2004, : 220 - 229