BibTeX record conf/valuetools/LampkaS06

download as .bib file

@inproceedings{DBLP:conf/valuetools/LampkaS06,
  author       = {Kai Lampka and
                  Markus Siegle},
  editor       = {Luciano Lenzini and
                  Rene L. Cruz},
  title        = {Analysis of Markov reward models using zero-suppressed multi-terminal
                  BDDs},
  booktitle    = {Proceedings of the 1st International Conference on Performance Evaluation
                  Methodolgies and Tools, {VALUETOOLS} 2006, Pisa, Italy, October 11-13,
                  2006},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {180},
  pages        = {35},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1190095.1190139},
  doi          = {10.1145/1190095.1190139},
  timestamp    = {Sat, 30 Sep 2023 09:58:12 +0200},
  biburl       = {https://dblp.org/rec/conf/valuetools/LampkaS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics