Search results for: 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
Optik - International Journal for Light and Electron Optics > 2013 > 124 > 23 > 6115-6118
High Energy Density Physics > 2013 > 9 > 4 > 745-749
Nuclear Inst. and Methods in Physics Research, A > 2012 > 684 > Complete > 88-92
International Journal on Software Tools for Technology Transfer > 2009 > 11 > 2 > 117-131