Deciding Hyperproperties

Finkbeiner, Bernd and Hahn, Christopher
(2016) Deciding Hyperproperties.
In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada.
Conference: CONCUR - International Conference on Concurrency Theory

Full text not available from this repository.
Official URL: https://doi.org/10.4230/LIPIcs.CONCUR.2016.13

Actions

Actions (login required)

View Item View Item