Inproceedings,
Deciding Hyperproperties Combined with Functional Specifications.
R. Beutner, D. Carral, B. Finkbeiner, J. Hofmann, and M. Krötzsch.LICS, page 56:1-56:13. ACM, (2022)
Meta data
- BibTeX key
- conf/lics/BeutnerCFHK22
- entry type
- inproceedings
- booktitle
- LICS
- year
- 2022
- pages
- 56:1-56:13
- publisher
- ACM
- crossref
- conf/lics/2022
- ee
- https://doi.org/10.1145/3531130.3533369
- isbn
- 978-1-4503-9351-5
- url
- http://dblp.uni-trier.de/db/conf/lics/lics2022.html#BeutnerCFHK22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lics/BeutnerCFHK22
%A Beutner, Raven
%A Carral, David
%A Finkbeiner, Bernd
%A Hofmann, Jana
%A Krötzsch, Markus
%B LICS
%D 2022
%E Baier, Christel
%E Fisman, Dana
%I ACM
%K dblp
%P 56:1-56:13
%T Deciding Hyperproperties Combined with Functional Specifications.
%U http://dblp.uni-trier.de/db/conf/lics/lics2022.html#BeutnerCFHK22
%@ 978-1-4503-9351-5
@inproceedings{conf/lics/BeutnerCFHK22,
added-at = {2022-08-09T00:00:00.000+0200},
author = {Beutner, Raven and Carral, David and Finkbeiner, Bernd and Hofmann, Jana and Krötzsch, Markus},
biburl = {https://www.bibsonomy.org/bibtex/278b9d2732a3669e0f5db8857f8a0274d/dblp},
booktitle = {LICS},
crossref = {conf/lics/2022},
editor = {Baier, Christel and Fisman, Dana},
ee = {https://doi.org/10.1145/3531130.3533369},
interhash = {d33ff28c53e1d3dba6a5e62cb184f561},
intrahash = {78b9d2732a3669e0f5db8857f8a0274d},
isbn = {978-1-4503-9351-5},
keywords = {dblp},
pages = {56:1-56:13},
publisher = {ACM},
timestamp = {2024-04-09T13:16:55.000+0200},
title = {Deciding Hyperproperties Combined with Functional Specifications.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2022.html#BeutnerCFHK22},
year = 2022
}