Search dblp for Publications

export results for "toc:db/journals/pe/pe123.bht:"

> Home > Search

download as .bib file

@article{DBLP:journals/pe/AmparoreD18,
  author       = {Elvio Gilberto Amparore and
                  Susanna Donatelli},
  title        = {Efficient model checking of the stochastic logic CSL\({}^{\mbox{TA}}\)},
  journal      = {Perform. Evaluation},
  volume       = {123-124},
  pages        = {1--34},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.peva.2018.03.002},
  doi          = {10.1016/J.PEVA.2018.03.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/AmparoreD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pe/BrazenasHT18,
  author       = {Mindaugas Brazenas and
                  G{\'{a}}bor Horv{\'{a}}th and
                  Mikl{\'{o}}s Telek},
  title        = {Parallel algorithms for fitting Markov arrival processes},
  journal      = {Perform. Evaluation},
  volume       = {123-124},
  pages        = {50--67},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.peva.2018.05.001},
  doi          = {10.1016/J.PEVA.2018.05.001},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/BrazenasHT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pe/FiemsMP18,
  author       = {Dieter Fiems and
                  Michel Mandjes and
                  Brendan Patch},
  title        = {Networks of infinite-server queues with multiplicative transitions},
  journal      = {Perform. Evaluation},
  volume       = {123-124},
  pages        = {35--49},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.peva.2018.03.003},
  doi          = {10.1016/J.PEVA.2018.03.003},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/FiemsMP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.