BibTeX record data/11/WatanabeVHRJ23

• > Home > data/11/WatanabeVHRJ23

@misc{DBLP:data/11/WatanabeVHRJ23,
  author       = {Kazuki Watanabe and
                  Marck van der Vegt and
                  Ichiro Hasuo and
                  Jurriaan Rot and
                  Sebastian Junges},
  title        = {Pareto Curves for Compositionally Model Checking String Diagrams of
                  MDPs: Supplemental Material (Version 1)},
  publisher    = {Zenodo},
  year         = {2023},
  month        = dec,
  howpublished = {\url{https://doi.org/10.5281/zenodo.10440297}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.5281/zenodo.10440297},
  doi          = {10.5281/ZENODO.10440297},
  timestamp    = {Wed, 19 Feb 2025 16:33:06 +0100},
  biburl       = {https://dblp.org/rec/data/11/WatanabeVHRJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}