%0 Conference Paper %1 conf/csfw/0044NBP21 %A Wang, Yu %A Nalluri, Siddhartha %A Bonakdarpour, Borzoo %A Pajic, Miroslav %B CSF %D 2021 %I IEEE %K dblp %P 1-16 %T Statistical Model Checking for Hyperproperties. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2021.html#0044NBP21 %@ 978-1-7281-7607-9

@inproceedings{conf/csfw/0044NBP21, added-at = {2024-05-07T00:00:00.000+0200}, author = {Wang, Yu and Nalluri, Siddhartha and Bonakdarpour, Borzoo and Pajic, Miroslav}, biburl = {https://www.bibsonomy.org/bibtex/268b88281b76ee1f04c5257f34d5f4f23/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2021}, ee = {https://doi.org/10.1109/CSF51468.2021.00009}, interhash = {12a9a8d9c918c690de8fa8c455136026}, intrahash = {68b88281b76ee1f04c5257f34d5f4f23}, isbn = {978-1-7281-7607-9}, keywords = {dblp}, pages = {1-16}, publisher = {IEEE}, timestamp = {2024-05-13T09:06:08.000+0200}, title = {Statistical Model Checking for Hyperproperties.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2021.html#0044NBP21}, year = 2021 }