Search results for: Ou Wei
Angewandte Chemie International Edition > 60 > 42 > 22990 - 22995
Angewandte Chemie > 133 > 42 > 23172 - 23177
BMC Systems Biology > 2017 > 11 > 6 > 75-88
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 349-365
Lecture Notes in Computer Science > Computer Aided Verification > Session 9. Concurrent Program Verification I > 495-510
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Reduction > 285-300
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Software Verification > 95-110
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 381-397
Communications in Computer and Information Science > Information and Management Engineering > 409-415
Frontiers of Computer Science > 2015 > 9 > 3 > 364-374
Fusion Engineering and Design > 2014 > 89 > 12 > 2919-2922