Hennessy-Milner Results for Probabilistic PDL
Gu, Tao, Silva, Alexandra, Zanasi, FabioVolume:
352
Journal:
Electronic Notes in Theoretical Computer Science
DOI:
10.1016/j.entcs.2020.09.014
Date:
October, 2020
File:
PDF, 104 KB
2020