Search results for: Dingbao Xie
IEEE Transactions on Computers > 2017 > 66 > 3 > 416 - 430
Formal Methods in System Design > 2014 > 45 > 1 > 42-62
IEEE Transactions on Computers > 2017 > 66 > 3 > 416 - 430
Formal Methods in System Design > 2014 > 45 > 1 > 42-62