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]
@inproceedings{WuXGLQ16, title = {Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption}, author = {Zhimin Wu and Yi Xu and Akin Günay and Yang Liu and Shengchao Qin}, year = {2016}, doi = {10.1109/ICECCS.2016.025}, url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2016.025}, researchr = {https://researchr.org/publication/WuXGLQ16}, cites = {0}, citedby = {0}, pages = {135-144}, booktitle = {21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016}, editor = {Hai Wang and Mounir Mokhtari}, publisher = {IEEE Computer Society}, isbn = {978-1-5090-5527-2}, }