Inproceedings,
Causality-Based Game Solving.
C. Baier, N. Coenen, B. Finkbeiner, F. Funke, S. Jantsch, and J. Siber.CAV (1), volume 12759 of Lecture Notes in Computer Science, page 894-917. Springer, (2021)
Meta data
- BibTeX key
- conf/cav/BaierCFFJS21
- entry type
- inproceedings
- booktitle
- CAV (1)
- year
- 2021
- pages
- 894-917
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 12759
- crossref
- conf/cav/2021-1
- ee
- https://doi.org/10.1007/978-3-030-81685-8_42
- isbn
- 978-3-030-81685-8
- url
- http://dblp.uni-trier.de/db/conf/cav/cav2021-1.html#BaierCFFJS21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cav/BaierCFFJS21
%A Baier, Christel
%A Coenen, Norine
%A Finkbeiner, Bernd
%A Funke, Florian
%A Jantsch, Simon
%A Siber, Julian
%B CAV (1)
%D 2021
%E Silva, Alexandra
%E Leino, K. Rustan M.
%I Springer
%K dblp
%P 894-917
%T Causality-Based Game Solving.
%U http://dblp.uni-trier.de/db/conf/cav/cav2021-1.html#BaierCFFJS21
%V 12759
%@ 978-3-030-81685-8
@inproceedings{conf/cav/BaierCFFJS21,
added-at = {2021-07-29T00:00:00.000+0200},
author = {Baier, Christel and Coenen, Norine and Finkbeiner, Bernd and Funke, Florian and Jantsch, Simon and Siber, Julian},
biburl = {https://www.bibsonomy.org/bibtex/2b6e0ef5b5d4ea0a491615979ca3c182c/dblp},
booktitle = {CAV (1)},
crossref = {conf/cav/2021-1},
editor = {Silva, Alexandra and Leino, K. Rustan M.},
ee = {https://doi.org/10.1007/978-3-030-81685-8_42},
interhash = {12cf1776ec63bded3de191f8bcda7085},
intrahash = {b6e0ef5b5d4ea0a491615979ca3c182c},
isbn = {978-3-030-81685-8},
keywords = {dblp},
pages = {894-917},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T10:16:51.000+0200},
title = {Causality-Based Game Solving.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2021-1.html#BaierCFFJS21},
volume = 12759,
year = 2021
}