%0 Conference Paper %1 conf/concur/FinkbeinerH16 %A Finkbeiner, Bernd %A Hahn, Christopher %B CONCUR %D 2016 %E Desharnais, Josée %E Jagadeesan, Radha %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 13:1-13:14 %T Deciding Hyperproperties. %U http://dblp.uni-trier.de/db/conf/concur/concur2016.html#FinkbeinerH16 %V 59 %@ 978-3-95977-017-0

@inproceedings{conf/concur/FinkbeinerH16, added-at = {2018-08-23T00:00:00.000+0200}, author = {Finkbeiner, Bernd and Hahn, Christopher}, biburl = {https://www.bibsonomy.org/bibtex/2211376d879e7ed81f15603707a2f87ff/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2016}, editor = {Desharnais, Josée and Jagadeesan, Radha}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.13}, interhash = {972c1854ef7f1ed36a6b63988e57ce99}, intrahash = {211376d879e7ed81f15603707a2f87ff}, isbn = {978-3-95977-017-0}, keywords = {dblp}, pages = {13:1-13:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:52.000+0100}, title = {Deciding Hyperproperties.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2016.html#FinkbeinerH16}, volume = 59, year = 2016 }