Treffer: Model Checking Temporal Properties of Recursive Probabilistic Programs

Titel:

Model Checking Temporal Properties of Recursive Probabilistic Programs / Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

Beteiligt:

Veröffentlicht:

Aachen : Universitätsbibliothek der RWTH Aachen, 2022

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Anmerkungen:

In: 10.1007/978-3-030-99253-8_23

DOI:

10.18154/RWTH-2022-03253

Zusatz-Informationen