Temporal Logics for Hyperproperties

Clarkson, Michael R. and Finkbeiner, Bernd and Koleini, Masoud and Micinski, Kristopher K. and Rabe, Markus N. and Sanchez, Cesar
(2014) Temporal Logics for Hyperproperties.
In: Proc. of the 3rd Conference on Principles of Security and Trust (POST 2014).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item