BibTeX record conf/isola/QuinlanSYS04a

download as .bib file

@inproceedings{DBLP:conf/isola/QuinlanSYS04a,
  author    = {Daniel J. Quinlan and
               Markus Schordan and
               Qing Yi and
               Andreas S{\ae}bj{\o}rnsen},
  title     = {Classification and Utilization of Abstractions for Optimization},
  booktitle = {International Symposium on Leveraging Applications of Formal Methods,
               ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
               proceedings},
  pages     = {2--9},
  year      = {2004},
  crossref  = {DBLP:conf/isola/2004i},
  timestamp = {Thu, 11 Sep 2008 14:14:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/QuinlanSYS04a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2004i,
  editor    = {Tiziana Margaria and
               Bernhard Steffen and
               Anna Philippou and
               Manfred Reitenspie{\ss}},
  title     = {International Symposium on Leveraging Applications of Formal Methods,
               ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
               proceedings},
  series    = {Technical Report},
  volume    = {{TR-2004-6}},
  publisher = {Department of Computer Science, University of Cyprus},
  year      = {2004},
  timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/2004i},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}