%0 Conference Paper %1 conf/stacs/Finkbeiner017 %A Finkbeiner, Bernd %A Zimmermann, Martin %B STACS %D 2017 %E Vollmer, Heribert %E Vallée, Brigitte %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 30:1-30:14 %T The First-Order Logic of Hyperproperties. %U http://dblp.uni-trier.de/db/conf/stacs/stacs2017.html#Finkbeiner017 %V 66 %@ 978-3-95977-028-6

@inproceedings{conf/stacs/Finkbeiner017, added-at = {2018-11-30T00:00:00.000+0100}, author = {Finkbeiner, Bernd and Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/23b480353c93340e23ee7f47411bf2551/dblp}, booktitle = {STACS}, crossref = {conf/stacs/2017}, editor = {Vollmer, Heribert and Vallée, Brigitte}, ee = {https://doi.org/10.4230/LIPIcs.STACS.2017.30}, interhash = {d482eb1f7855bdb32f7142ddee630730}, intrahash = {3b480353c93340e23ee7f47411bf2551}, isbn = {978-3-95977-028-6}, keywords = {dblp}, pages = {30:1-30:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:48:21.000+0100}, title = {The First-Order Logic of Hyperproperties.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs2017.html#Finkbeiner017}, volume = 66, year = 2017 }