BibTeX record: conf/qest/CerottiDHS06

download as .bib file

@inproceedings{DBLP:conf/qest/CerottiDHS06,
  author    = {Davide Cerotti and
               Susanna Donatelli and
               Andr{\'{a}}s Horv{\'{a}}th and
               Jeremy Sproston},
  title     = {{CSL} Model Checking for Generalized Stochastic Petri Nets},
  booktitle = {Third International Conference on the Quantitative Evaluation of Systems
               {(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
  year      = {2006},
  pages     = {199--210},
  crossref  = {DBLP:conf/qest/2006},
  url       = {http://dx.doi.org/10.1109/QEST.2006.13},
  doi       = {10.1109/QEST.2006.13},
  timestamp = {Tue, 21 Oct 2014 23:59:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/qest/CerottiDHS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/qest/2006,
  title     = {Third International Conference on the Quantitative Evaluation of Systems
               {(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
  year      = {2006},
  publisher = {{IEEE} Computer Society},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11169},
  isbn      = {0-7695-2665-9},
  timestamp = {Tue, 21 Oct 2014 23:59:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/qest/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}