Title
Automated Termination Analysis of Polynomial Probabilistic Programs.
Year
Venue
DocType
2021
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Marcel Moosbrugger100.34
Ezio Bartocci273357.55
Joost-Pieter Katoen3194.54
Laura Kovács402.03