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

@inproceedings{TUW-296703,
    author = {Dobe, Oyendrila and Abraham, Erika and Bartocci, Ezio and Bonakdarpour, Borzoo},
    title = {HyperProb: A Model Checker for Probabilistic Hyperproperties},
    booktitle = {Proc. of FM 2021: the 24th international symposium of Formal Methods},
    year = {2021},
    pages = {657--666},
    doi = {10.1007/978-3-030-90870-6{\_}35},
    note = {talk: FM 2021: the 24th international symposium of Formal Methods, China; 2021-11-20 -- 2021-11-25}
}


1 Datensatz ausgegeben