Computing Expected Runtimes for Constant Probability Programs
Cham / Springer (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]
Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : Proceedings / Pascal Fontaine (Ed.)
Seite(n): 269-286
Autorinnen und Autoren
Autorinnen und Autoren
Giesl, Jürgen
Giesl, Peter
Hark, Marcel
Identifikationsnummern
- DOI: 10.1007/978-3-030-29436-6_16
- REPORT NUMBER: RWTH-2019-08276