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

@inproceedings{TUW-290971,
    author = {Abraham, Erika and Bartocci, Ezio and Bonakdarpour, Borzoo and Dobe, Oyendrila},
    title = {Parameter Synthesis for Probabilistic Hyperproperties},
    booktitle = {Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming},
    year = {2020},
    pages = {12--31},
    doi = {10.29007/37lf},
    note = {talk: Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming, Alicante, Spain (Virtual due to covid19); 2020-05-22 -- 2020-05-27}
}


1 Datensatz ausgegeben