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)
Contribution to a book, Contribution to a conference proceedings

In: [The 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020, Dublin, Ireland]
Page(s)/Article-Nr.: 1-14


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]