Generating Functions for Probabilistic Programs

Klinkenberg, Lutz; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Moerman, Joshua; Winkler, Tobias

(2020)
Preprint

Einrichtungen

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

Identifikationsnummern

Verwandte Publikationen