Inproceedings,
Various Ways to Quantify BDMPs.
M. Bouissou, S. Khan, J. Katoen, and P. Krcál.MARS@ETAPS, volume 316 of EPTCS, page 1-14. (2020)
Meta data
- BibTeX key
- journals/corr/abs-2004-13283
- entry type
- inproceedings
- booktitle
- MARS@ETAPS
- year
- 2020
- pages
- 1-14
- series
- EPTCS
- volume
- 316
- crossref
- journals/corr/abs-2004-12403
- ee
- https://arxiv.org/abs/2004.13283
- url
- http://dblp.uni-trier.de/db/series/eptcs/eptcs316.html#abs-2004-13283
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}