Various Ways to Quantify BDMPs

Bouissou, Marc; Krcal, Pavel; Khan, Shahid; Katoen, Joost-Pieter

doi:arXiv:2004.13283

Various Ways to Quantify BDMPs

Bouissou, Marc (Corresponding author) ; Khan, Shahid (Corresponding author)^RWTH* ; Katoen, Joost-Pieter (Corresponding author)^RWTH* ; Krcal, Pavel (Corresponding author)

2020

Online
DOI: 10.48550/ARXIV.2004.13283
10.48550/ARXIV.2004.13283

Einrichtungen

Thematische Einordnung (Klassifikation)
DDC: 600

External link:

Fulltext by arXiv.org

Dokumenttyp
Preprint

Format
online

Sprache
English

Externe Identnummern
arXiv: arXiv:2004.13283

Interne Identnummern
RWTH-2021-04908
Datensatz-ID: 819207

Beteiligte Länder
France, Germany, Sweden

Related:

Contribution to a book/Contribution to a conference proceedings Bouissou, M. (Corresponding author) ; Khan, S. (Corresponding author)RWTH* ; Katoen, J.-P. (Corresponding author)RWTH* ; Krcal, P. (Corresponding author)
Various Ways to Quantify BDMPs
2020[The 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020, Dublin, Ireland]
4. Workshop on Models for Formal Analysis of Real Systems, MARS 2020, DublinDublin, Ireland, Sydney : NICTA, Electronic proceedings in theoretical computer science 316, 1-14 (2020) [10.4204/EPTCS.316.1]2020 OpenAccess Files BibTeX | EndNote: XML, Text | RIS