Xiaosong Zhang

Latest

• An I/O Efficient Approach for Detecting All Accepting Cycles Software Eng. 41(8): 730-744 (2015)
• An I/O Efficient Model Checking Algorithm for Large-Scale Systems Very Large Scale Integr. Syst. 23(5): 905-915 (2015)