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) [Contribution to a book, Contribution to a conference proceedings]

Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / edited by Maribel Fernández
Page(s): 231-248

Identifier

  • REPORT NUMBER: RWTH-2020-11665