%0 Conference Paper %1 journals/corr/abs-2004-13283 %A Bouissou, Marc %A Khan, Shahid %A Katoen, Joost-Pieter %A Krcál, Pavel %B MARS@ETAPS %D 2020 %E Fehnker, Ansgar %E Garavel, Hubert %K dblp %P 1-14 %T Various Ways to Quantify BDMPs. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs316.html#abs-2004-13283 %V 316

@inproceedings{journals/corr/abs-2004-13283, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bouissou, Marc and Khan, Shahid and Katoen, Joost-Pieter and Krcál, Pavel}, biburl = {https://www.bibsonomy.org/bibtex/26af85622f4f02488a15b1f905bffa588/dblp}, booktitle = {MARS@ETAPS}, crossref = {journals/corr/abs-2004-12403}, editor = {Fehnker, Ansgar and Garavel, Hubert}, ee = {https://arxiv.org/abs/2004.13283}, interhash = {6ff5cda057415aafefd453c991f2fd1a}, intrahash = {6af85622f4f02488a15b1f905bffa588}, keywords = {dblp}, pages = {1-14}, series = {EPTCS}, timestamp = {2024-04-09T09:29:38.000+0200}, title = {Various Ways to Quantify BDMPs.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs316.html#abs-2004-13283}, volume = 316, year = 2020 }