Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. Beyer, D., Löwe, S., & Wendler, P. In Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, pages 228--243, 2015.
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/forte/0001LW15,
  author    = {Dirk Beyer and
               Stefan L{\"{o}}we and
               Philipp Wendler},
  title     = {Sliced Path Prefixes: An Effective Method to Enable Refinement Selection},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
               as Part of the 10th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
               Proceedings},
  pages     = {228--243},
  year      = {2015},
  crossref  = {DBLP:conf/forte/2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-19195-9_15},
  doi       = {10.1007/978-3-319-19195-9_15},
  timestamp = {Wed, 06 May 2015 15:31:45 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/forte/0001LW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Downloads: 0