Huijia Huang

最新

• An I/O Efficient Model Checking Algorithm for Large-Scale Systems Very Large Scale Integr. Syst. 23(5): 905-915 (2015)