Changeset 3455 for Papers/fopara2013/fopara13.bib
- Timestamp:
- Feb 20, 2014, 4:20:30 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Papers/fopara2013/fopara13.bib
r3444 r3455 31 31 volume={7437}, 32 32 series={LNCS}, 33 editor={Stoelinga, Mariëlle and Pinger, Ralf},34 33 doi={10.1007/978-3-642-32469-7_3}, 35 34 title={Certifying and Reasoning on Cost Annotations in {C} Programs}, 36 35 url={http://dx.doi.org/10.1007/978-3-642-32469-7_3}, 37 publisher={Springer Berlin Heidelberg},38 36 author={Ayache, Nicolas and Amadio, RobertoM. and R\'egis-Gianas, Yann}, 39 pages={32- 46}37 pages={32--46} 40 38 } 41 39 42 40 @incollection{labelling2, 43 41 year={2012}, 44 isbn={978-3-642-32494-9},45 42 booktitle={Foundational and Practical Aspects of Resource Analysis}, 46 43 volume={7177}, 47 44 series={LNCS}, 48 editor={Peña, Ricardo and Eekelen, Marko and Shkaravska, Olha},49 45 doi={10.1007/978-3-642-32495-6_5}, 50 46 title={Certifying and Reasoning on Cost Annotations of Functional Programs}, 51 url={http://dx.doi.org/10.1007/978-3-642-32495-6_5},52 publisher={Springer Berlin Heidelberg},53 47 author={Amadio, RobertoM. and R\'egis-Gianas, Yann}, 54 pages={72- 89},48 pages={72--89}, 55 49 note={Extended version to appear in Higher Order and Symbolic Computation, 2013} 56 50 } … … 138 132 booktitle = {CPP}, 139 133 year = {2012}, 140 pages = {43-59}, 141 ee = {http://dx.doi.org/10.1007/978-3-642-35308-6_7}, 142 crossref = {DBLP:conf/cpp/2012}, 143 bibsource = {DBLP, http://dblp.uni-trier.de} 134 pages = {43--59}, 135 doi = {10.1007/978-3-642-35308-6_7} 144 136 } 145 137 @proceedings{DBLP:conf/cpp/2012, … … 191 183 September 2005}, 192 184 booktitle = {Trends in Functional Programming}, 193 publisher = {Intellect / University of Chicago Press},194 185 series = {Trends in Functional Programming}, 195 186 volume = {6},
Note: See TracChangeset
for help on using the changeset viewer.