Search results for: Jia-Jen Yeh
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 67-81
IEEE Transactions on Computers > 2014 > 63 > 7 > 1613 - 1625
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 67-81
IEEE Transactions on Computers > 2014 > 63 > 7 > 1613 - 1625