Various Ways to Quantify BDMPs
Bouissou, Marc (Corresponding author); Khan, Shahid (Corresponding author); Katoen, Joost-Pieter (Corresponding author); Krcal, Pavel (Corresponding author)
Sydney : NICTA (2020)
Buchbeitrag, Beitrag zu einem Tagungsband
In: [The 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020, Dublin, Ireland]
Seite(n)/Artikel-Nr.: 1-14
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
Identifikationsnummern
- DOI: 10.4204/EPTCS.316.1
- DOI: 10.18154/RWTH-2020-08084
- RWTH PUBLICATIONS: RWTH-2020-08084