%0 Conference Paper %1 FaragoS09 %A Faragó, David %A Schmitt, Peter H. %B Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings %D 2009 %I Springer %K model_checking myown %P 50-67 %T Improving Non-Progress Cycle Checks

@inproceedings{FaragoS09, added-at = {2011-02-23T17:30:22.000+0100}, author = {Farag{\'o}, David and Schmitt, Peter H.}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/27d729ed83609ee7b3b5dbc22c46f23bc/davef}, booktitle = {Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings}, ee = {http://dx.doi.org/10.1007/978-3-642-02652-2_8}, interhash = {5aa571a7f4ffbe910338ad3f8906c371}, intrahash = {7d729ed83609ee7b3b5dbc22c46f23bc}, keywords = {model_checking myown}, month = {June}, pages = {50-67}, publisher = {Springer}, series = {LNCS}, timestamp = {2014-06-07T17:47:25.000+0200}, title = {Improving Non-Progress Cycle Checks}, year = 2009 }