BibTeX record: conf/qest/AbrahamJWKB10

download as .bib file

@inproceedings{DBLP:conf/qest/AbrahamJWKB10,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Nils Jansen and
               Ralf Wimmer and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  title     = {{DTMC} Model Checking by {SCC} Reduction},
  booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
               Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
               2010},
  year      = {2010},
  pages     = {37--46},
  crossref  = {DBLP:conf/qest/2010},
  url       = {http://dx.doi.org/10.1109/QEST.2010.13},
  doi       = {10.1109/QEST.2010.13},
  timestamp = {Sat, 25 Oct 2014 14:48:30 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/qest/AbrahamJWKB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/qest/2010,
  title     = {{QEST} 2010, Seventh International Conference on the Quantitative
               Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
               2010},
  year      = {2010},
  publisher = {{IEEE} Computer Society},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5599994},
  isbn      = {978-0-7695-4188-4},
  timestamp = {Sat, 25 Oct 2014 14:48:30 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/qest/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}