Search results for: Kai Hui
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 499-504
Applied Thermal Engineering > 2016 > 106 > C > 721-730
Journal of Immunological Methods > 2016 > 434 > C > 32-38
The International Journal of Advanced Manufacturing Technology > 2017 > 89 > 1-4 > 255-263
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > SHORT PAPERS > 525-528