Generating Functions for Probabilistic Programs

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

Cham : Springer International Publishing [2021.] ; Cham : Imprint: Springer [2021.] (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings / edited by Maribel Fernández
Seite(n)/Artikel-Nr.: 231-248

Einrichtungen

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

Identifikationsnummern