Temporal Logics for Hyperproperties
| Title | Temporal Logics for Hyperproperties |
| Publication Type | Conference Proceedings |
| Year of Publication | 2014 |
| Authors | Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez |
| Conference Name | Proc. Conference on Principles of Security and Trust |
| Pagination | 265-284 |
| Keywords | science of security |
| Citation Key | node-17108 |