BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-303610,
    author = {Wilke, Lukas and Dobe, Oyendrila and Abraham, Erika and Bartocci, Ezio and Bonakdarpour, Borzoo},
    title = {Probabilistic Hyperproperties with Rewards},
    booktitle = {Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods},
    year = {2022},
    numpages = {25},
    note = {talk: Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods, Pasadena, California, USA; 2022-05-24 -- 2022-05-27}
}


1 Datensatz ausgegeben