D. Faragó, and P. Schmitt. Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, page 50-67. Springer, (June 2009)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}