Number of items: 4.
Baumeister, Jan and Coenen, Norine and Bonakdarpour, Borzoo and Finkbeiner, Bernd and Sánchez, César
(2021)
A Temporal Logic for Asynchronous Hyperproperties.
Finkbeiner, Bernd and Sánchez, César
(2016)
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.
Acta Inf., 53 (4).
325–326.
Clarkson, Michael R. and Finkbeiner, Bernd and Koleini, Masoud and Micinski, Kristopher K. and Rabe, Markus N. and Sánchez, César
(2014)
Temporal Logics for Hyperproperties.
CoRR, abs/14.
Finkbeiner, Bernd and Rabe, Markus N. and Sánchez, César
(2013)
A Temporal Logic for Hyperproperties.
CoRR, abs/13.
This list was generated on Wed Oct 9 22:09:08 2024 CEST.