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. 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
{"_id":"xc5dChvHoYoDHpzTw","bibbaseid":"finkbeiner-zimmermann-thefirstorderlogicofhyperproperties-2017","authorIDs":[],"author_short":["Finkbeiner, B.","Zimmermann, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Bernd"],"propositions":[],"lastnames":["Finkbeiner"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Zimmermann"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/stacs/Finkbeiner017,\n author = {Bernd Finkbeiner and\n Martin Zimmermann},\n title = {The First-Order Logic of Hyperproperties},\n booktitle = {34th Symposium on Theoretical Aspects of Computer Science, {STACS}\n 2017, March 8-11, 2017, Hannover, Germany},\n pages = {30:1--30:14},\n year = {2017},\n crossref = {DBLP:conf/stacs/2017},\n url = {https://doi.org/10.4230/LIPIcs.STACS.2017.30},\n doi = {10.4230/LIPIcs.STACS.2017.30},\n timestamp = {Thu, 02 May 2019 17:40:17 +0200},\n biburl = {https://dblp.org/rec/bib/conf/stacs/Finkbeiner017},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Finkbeiner, B.","Zimmermann, M."],"key":"DBLP:conf/stacs/Finkbeiner017","id":"DBLP:conf/stacs/Finkbeiner017","bibbaseid":"finkbeiner-zimmermann-thefirstorderlogicofhyperproperties-2017","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.STACS.2017.30"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/70/5831-2.bib","creationDate":"2019-12-10T20:38:35.571Z","downloads":0,"keywords":[],"search_terms":["first","order","logic","hyperproperties","finkbeiner","zimmermann"],"title":"The First-Order Logic of Hyperproperties","year":2017,"dataSources":["ht35435uHDkrdp7fM"]}