Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Qing-lei ZHOU
System Reduction Based on Symmetry in Game Model Checking
DEStech Transactions on Computer Science and Engineering
Related publications
Symmetry Reduction in CSP Model Checking
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Symmetry in Temporal Logic Model Checking
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Exploiting Symmetry in Temporal Logic Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Undergraduate Tutorial System Based on Game Model
On-The-Fly Model Checking Under Fairness That Exploits Symmetry
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial Order Reduction in Directed Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Software
Dynamic Path Reduction for Software Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
