Explaining Boolean-Logic Driven Markov Processes using GSPNs

Khan, Shahid (Corresponding author); Katoen, Joost-Pieter (Corresponding author); Bouissou, Marc (Corresponding author)

Piscataway, NJ : IEEE (2020)
Contribution to a book, Contribution to a conference proceedings

In: 16th European Dependable Computing Conference : EDCC 2020 : virtual conference, 7-10 September 2020 : proceedings / general chairs: Michael Paulitsch (Intel, Germany), Mario Trapp (Fraunhofer IKS, Germany) ; publisher: IEEE
Page(s)/Article-Nr.: 119-126