Search results for: Zhendong Su
Journal of Systems and Software > 2017 > 123 > C > 160-172
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 184-200
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track B > 405-416
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Constraint Solving > 280-295
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 226-242
Journal of Bionic Engineering > 2016 > 13 > 2 > 283-291
Journal of Bionic Engineering > 2016 > 13 > 2 > 283-291
Science China Information Sciences > 2016 > 59 > 9 > 1-2
Biochemical and Biophysical Research Communications > 2015 > 457 > 1 > 101-105