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

@inproceedings{TUW-290968,
    author = {Abraham, Erika and Bartocci, Ezio and Bonakdarpour, Borzoo and Dobe, Oyendrila},
    title = {Probabilistic Hyperproperties with Nondeterminism},
    booktitle = {Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis},
    year = {2020},
    pages = {518--534},
    address = {12302},
    isbn = {978-3-030-59151-9},
    doi = {10.1007/978-3-030-59152-6{\_}29},
    note = {talk: Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis, Hanoi, Vietnam; 2020-10-19 -- 2020-10-23}
}


1 Datensatz ausgegeben