@misc{indiciae886fe2d928c6,
  title = {Various Ways to Quantify BDMPs},
  author = {Marc Bouissou and Shahid Khan and Joost-Pieter Katoen and Pavel Krcal},
  year = {2020},
  doi = {10.4204/eptcs.316.1},
  url = {https://arxiv.org/abs/2004.13283},
  note = {Source identifier: 2004.13283}
}