The First-Order Logic of Hyperproperties. Finkbeiner, B. & Zimmermann, M. In 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany, pages 30:1–30:14, 2017.
The First-Order Logic of Hyperproperties [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/stacs/Finkbeiner017,
  author    = {Bernd Finkbeiner and
               Martin Zimmermann},
  title     = {The First-Order Logic of Hyperproperties},
  booktitle = {34th Symposium on Theoretical Aspects of Computer Science, {STACS}
               2017, March 8-11, 2017, Hannover, Germany},
  pages     = {30:1--30:14},
  year      = {2017},
  crossref  = {DBLP:conf/stacs/2017},
  url       = {https://doi.org/10.4230/LIPIcs.STACS.2017.30},
  doi       = {10.4230/LIPIcs.STACS.2017.30},
  timestamp = {Thu, 02 May 2019 17:40:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/Finkbeiner017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0