HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

Springer (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / edited by Annabelle McIver, Andras Horvath

Autorinnen und Autoren

Autorinnen und Autoren

Ábrahám, Erika
Bonakdarpour, Borzoo

Identifikationsnummern