Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang. An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Trans. Software Eng., 41(8):730-744, 2015. [doi]
@article{WuSCZZW15, title = {An I/O Efficient Approach for Detecting All Accepting Cycles}, author = {Lijun Wu and Kaile Su and Shaowei Cai and Xiaosong Zhang and Chenyi Zhang and Shupeng Wang}, year = {2015}, doi = {10.1109/TSE.2015.2411284}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2015.2411284}, researchr = {https://researchr.org/publication/WuSCZZW15}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {41}, number = {8}, pages = {730-744}, }