Visible to the public Biblio

Filters: Author is Michael R. Clarkson  [Clear All Filters]
2015-01-11
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez.  2014.  Temporal Logics for Hyperproperties. Proc. Conference on Principles of Security and Trust. :265-284.