Search results for: Kai-Hui Chang
IEEE Design & Test > 2016 > 33 > 6 > 63 - 71
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 499-504
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > SHORT PAPERS > 525-528
Lecture Notes in Electrical Engineering