%0 Journal Article %1 clarkson2010hyperproperties %A Clarkson, Michael R %A Schneider, Fred B %D 2010 %I IOS Press %J Journal of Computer Security %K security %N 6 %P 1157--1210 %T Hyperproperties %U https://ecommons.cornell.edu/bitstream/handle/1813/11660/hyperproperties-tr.pdf?sequence=4 %V 18

@article{clarkson2010hyperproperties, added-at = {2017-03-08T17:17:37.000+0100}, author = {Clarkson, Michael R and Schneider, Fred B}, biburl = {https://www.bibsonomy.org/bibtex/2e16d3b7c8b26f053d4bd6130edd87189/hernan}, interhash = {b0ede2b9dee58a268a7d7e9c15a55bf4}, intrahash = {e16d3b7c8b26f053d4bd6130edd87189}, journal = {Journal of Computer Security}, keywords = {security}, number = 6, pages = {1157--1210}, publisher = {IOS Press}, timestamp = {2017-03-08T17:17:37.000+0100}, title = {Hyperproperties}, url = {https://ecommons.cornell.edu/bitstream/handle/1813/11660/hyperproperties-tr.pdf?sequence=4}, volume = 18, year = 2010 }