%0 Journal Article %1 journals/corr/abs-1906-07253 %A Wang, Yu %A Zarei, Mojtaba %A Bonakdarpour, Borzoo %A Pajic, Miroslav %D 2019 %J CoRR %K dblp %T Statistical Verification of Hyperproperties for Cyber-Physical System. %U http://dblp.uni-trier.de/db/journals/corr/corr1906.html#abs-1906-07253 %V abs/1906.07253

@article{journals/corr/abs-1906-07253, added-at = {2019-09-24T00:00:00.000+0200}, author = {Wang, Yu and Zarei, Mojtaba and Bonakdarpour, Borzoo and Pajic, Miroslav}, biburl = {https://www.bibsonomy.org/bibtex/28569f834733627e5d39fae00a60e6c7b/dblp}, ee = {http://arxiv.org/abs/1906.07253}, interhash = {d2f627293ff9475eba04abb2400de6f2}, intrahash = {8569f834733627e5d39fae00a60e6c7b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-25T11:38:54.000+0200}, title = {Statistical Verification of Hyperproperties for Cyber-Physical System.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1906.html#abs-1906-07253}, volume = {abs/1906.07253}, year = 2019 }