Refinement Selection. Beyer, D., Löwe, S., & Wendler, P. In Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pages 20--38, 2015.
Refinement Selection [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/spin/0001LW15,
  author    = {Dirk Beyer and
               Stefan L{\"{o}}we and
               Philipp Wendler},
  title     = {Refinement Selection},
  booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
               Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  pages     = {20--38},
  year      = {2015},
  crossref  = {DBLP:conf/spin/2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-23404-5_3},
  doi       = {10.1007/978-3-319-23404-5_3},
  timestamp = {Thu, 28 Apr 2016 12:21:28 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/spin/0001LW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Downloads: 0