[Back]


Talks and Poster Presentations (with Proceedings-Entry):

O. Dobe, E. Abraham, E. Bartocci, B. Bonakdarpour:
"HyperProb: A Model Checker for Probabilistic Hyperproperties";
accepted as talk for: FM 2021: the 24th international symposium of Formal Methods, China; 2021-11-20 - 2021-11-25; in: "Proc. of FM 2021: the 24th international symposium of Formal Methods", (2021).


Created from the Publication Database of the Vienna University of Technology.