A Temporal Logic for Hyperproperties

Finkbeiner, Bernd and Rabe, Markus N. and Sánchez, César
(2013) A Temporal Logic for Hyperproperties.
CoRR, abs/13.

Full text not available from this repository.
Official URL: http://arxiv.org/abs/1306.6657

Actions

Actions (login required)

View Item View Item