Search results for: Ying Qin
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Model Checking > 298-312
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 456-469
Lecture Notes in Computer Science > Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead > Poster Session 1 > 189-196
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers > 393-397
6th International Symposium on High‐Temperature Metallurgical Processing > Coking, New Energy and Environment > 339 - 347
Formal Methods in Computer Aided Design > 91 - 99