%0 Journal Article %1 noauthororeditor %A Shreya Agrawal, Borzoo Bonakdarpour %D 2016 %K hyperproperties monitors %T Runtime Verification of k-Safety Hyperproperties in HyperLTL

@article{noauthororeditor, added-at = {2017-06-28T00:00:39.000+0200}, author = {Shreya Agrawal, Borzoo Bonakdarpour}, biburl = {https://www.bibsonomy.org/bibtex/2ad743d071d95b0b9f2ce5b7131a8c6d2/hernan}, description = {csf16.pdf}, interhash = {f75ad5154c08f2d533170510bd00f16e}, intrahash = {ad743d071d95b0b9f2ce5b7131a8c6d2}, keywords = {hyperproperties monitors}, timestamp = {2017-06-28T00:00:39.000+0200}, title = {Runtime Verification of k-Safety Hyperproperties in HyperLTL}, year = 2016 }