publications

publications by categories in reversed chronological order.

2022

  1. The probabilistic model checker Storm
    Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, and 2 more authors
    Int. J. Softw. Tools Technol. Transf., 2022
    DOI