Various Ways to Quantify BDMPs

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

(2020)
Preprint

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]