%0 Conference Paper %1 conf/iceccs/WuXGLQ16 %A Wu, Zhimin %A Xu, Yi %A Günay, Akin %A Liu, Yang %A Qin, Shengchao %B ICECCS %D 2016 %E Wang, Hai %E Mokhtari, Mounir %I IEEE Computer Society %K dblp %P 135-144 %T Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2016.html#WuXGLQ16 %@ 978-1-5090-5527-2

@inproceedings{conf/iceccs/WuXGLQ16, added-at = {2023-06-26T00:00:00.000+0200}, author = {Wu, Zhimin and Xu, Yi and Günay, Akin and Liu, Yang and Qin, Shengchao}, biburl = {https://www.bibsonomy.org/bibtex/25e29f9bc2d7f477ccd5b2542c4d988d8/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2016}, editor = {Wang, Hai and Mokhtari, Mounir}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2016.025}, interhash = {466e9361053580da691f936003deb8de}, intrahash = {5e29f9bc2d7f477ccd5b2542c4d988d8}, isbn = {978-1-5090-5527-2}, keywords = {dblp}, pages = {135-144}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:31:17.000+0200}, title = {Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2016.html#WuXGLQ16}, year = 2016 }