Home
People
Research
Publications
Tools
Teaching
Outreach
Contact
Light
Dark
Automatic
Yingying Zhang
Latest
Compositional Model Checking of Concurrent Systems
An Improvement in Partial Order Reduction Using Behavioral Analysis
A Compositional Minimization Approach for Large Asynchronous Design Verification
Cite
×