Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin. Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. In Hai Wang, Mounir Mokhtari, editors, 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016. pages 135-144, IEEE Computer Society, 2016. [doi]
Abstract is missing.