BibTeX record conf/valuetools/BiniMSH09

download as .bib file

@inproceedings{DBLP:conf/valuetools/BiniMSH09,
  author       = {Dario Bini and
                  Beatrice Meini and
                  S. Steff{\'{e}} and
                  Benny Van Houdt},
  editor       = {Giovanni Stea and
                  Jean Mairesse and
                  Jos{\'{e}} Mendes},
  title        = {Structured Markov chains solver: tool extension},
  booktitle    = {4th International Conference on Performance Evaluation Methodologies
                  and Tools, {VALUETOOLS} '09, Pisa, Italy, October 20-22, 2009},
  pages        = {20},
  publisher    = {{ICST/ACM}},
  year         = {2009},
  url          = {https://doi.org/10.4108/ICST.VALUETOOLS2009.7443},
  doi          = {10.4108/ICST.VALUETOOLS2009.7443},
  timestamp    = {Wed, 24 May 2017 08:28:24 +0200},
  biburl       = {https://dblp.org/rec/conf/valuetools/BiniMSH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics