Search results for: Yunshan Zhu
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Analysis > 193-207
Lecture Notes in Computer Science > Automated Deduction in Classical and Non-Classical Logics > Invited Papers > 80-94
Lecture Notes in Computer Science > Correct System Design > Automation > 163-179
Journal of Molecular Histology > 2016 > 47 > 2 > 129-134
Journal of Obstetrics and Gynaecology Research > 39 > 9 > 1411 - 1414
2005 6th International Conference on ASIC > 2 > 1036 - 1041
Discrete Applied Mathematics > 2003 > 130 > 2 > 291-328
Formal Methods in System Design > 2002 > 20 > 2 > 159-186
Electronic Notes in Theoretical Computer Science > 2001 > 23 > 2 > 34-45
Formal Methods in System Design > 2001 > 19 > 1 > 7-34
Journal of Automated Reasoning > 2000 > 25 > 3 > 167-217