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. 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
{"_id":"XQ9R4cYFif8bomZnu","bibbaseid":"beyer-lwe-wendler-slicedpathprefixesaneffectivemethodtoenablerefinementselection-2015","downloads":0,"creationDate":"2017-02-19T18:08:59.390Z","title":"Sliced Path Prefixes: An Effective Method to Enable Refinement Selection","author_short":["Beyer, D.","Löwe, S.","Wendler, P."],"year":2015,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/w/Wendler:Philipp","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dirk"],"propositions":[],"lastnames":["Beyer"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Löwe"],"suffixes":[]},{"firstnames":["Philipp"],"propositions":[],"lastnames":["Wendler"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/forte/0001LW15,\n author = {Dirk Beyer and\n Stefan L{\\\"{o}}we and\n Philipp Wendler},\n title = {Sliced Path Prefixes: An Effective Method to Enable Refinement Selection},\n booktitle = {Formal Techniques for Distributed Objects, Components, and Systems\n - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held\n as Part of the 10th International Federated Conference on Distributed\n Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,\n Proceedings},\n pages = {228--243},\n year = {2015},\n crossref = {DBLP:conf/forte/2015},\n url = {http://dx.doi.org/10.1007/978-3-319-19195-9_15},\n doi = {10.1007/978-3-319-19195-9_15},\n timestamp = {Wed, 06 May 2015 15:31:45 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/forte/0001LW15},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Beyer, D.","Löwe, S.","Wendler, P."],"key":"DBLP:conf/forte/0001LW15","id":"DBLP:conf/forte/0001LW15","bibbaseid":"beyer-lwe-wendler-slicedpathprefixesaneffectivemethodtoenablerefinementselection-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-19195-9_15"},"downloads":0},"search_terms":["sliced","path","prefixes","effective","method","enable","refinement","selection","beyer","löwe","wendler"],"keywords":[],"authorIDs":[],"dataSources":["BKqo3YTQ52yFWpxCy"]}