Search results for: Wenhui Zhang
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Applied Formal Verification > 556-563
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking I > 286-305
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 191-211
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 276-290
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 34-48
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Application of Formal Methods (Poster Session) > 113-125
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Papers > 374-385
Lecture Notes in Computer Science
Journal of Alloys and Compounds > 2016 > 663 > C > 230-234
Theoretical Computer Science > 2016 > 612 > C > 23-28
International Journal of Cardiology > 2016 > 203 > Complete > 55-59
Materials Letters > 2016 > 163 > C > 16-19
In Vitro Cellular & Developmental Biology - Animal > 2016 > 52 > 4 > 488-496
Journal of Network and Computer Applications > 2016 > 59 > Complete > 109-116
Acta Physiologiae Plantarum > 2016 > 38 > 1 > 1-8
Applied Physics A > 2016 > 122 > 3 > 1-9
Journal of Alloys and Compounds > 2015 > 649 > C > 579-584