Search results for: Andy Jinqing Yu
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 51-66
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Algorithms and Techniques for Speeding (DD-Based) Verification 1 > 146-161
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking > 648-663
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 83-103
International Journal on Software Tools for Technology Transfer > 2009 > 11 > 2 > 117-131