Inproceedings,
Counterexamples for Expected Rewards.
T. Quatmann, N. Jansen, C. Dehnert, R. Wimmer, E. Ábrahám, J. Katoen, and B. Becker.FM, volume 9109 of Lecture Notes in Computer Science, page 435-452. Springer, (2015)
Meta data
- BibTeX key
- conf/fm/QuatmannJDWAKB15
- entry type
- inproceedings
- booktitle
- FM
- year
- 2015
- pages
- 435-452
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 9109
- crossref
- conf/fm/2015
- ee
- https://www.wikidata.org/entity/Q57800649
- isbn
- 978-3-319-19248-2
- url
- http://dblp.uni-trier.de/db/conf/fm/fm2015.html#QuatmannJDWAKB15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fm/QuatmannJDWAKB15
%A Quatmann, Tim
%A Jansen, Nils
%A Dehnert, Christian
%A Wimmer, Ralf
%A Ábrahám, Erika
%A Katoen, Joost-Pieter
%A Becker, Bernd
%B FM
%D 2015
%E Bjørner, Nikolaj
%E de Boer, Frank S.
%I Springer
%K
%P 435-452
%T Counterexamples for Expected Rewards.
%U http://dblp.uni-trier.de/db/conf/fm/fm2015.html#QuatmannJDWAKB15
%V 9109
%@ 978-3-319-19248-2
@inproceedings{conf/fm/QuatmannJDWAKB15,
added-at = {2023-12-12T18:45:53.000+0100},
author = {Quatmann, Tim and Jansen, Nils and Dehnert, Christian and Wimmer, Ralf and Ábrahám, Erika and Katoen, Joost-Pieter and Becker, Bernd},
biburl = {https://www.bibsonomy.org/bibtex/233064bfd5b8ea38962773cde8cdc0747/admin},
booktitle = {FM},
crossref = {conf/fm/2015},
editor = {Bjørner, Nikolaj and de Boer, Frank S.},
ee = {https://www.wikidata.org/entity/Q57800649},
interhash = {16ebaa2619f60928d29aab0e3553e523},
intrahash = {33064bfd5b8ea38962773cde8cdc0747},
isbn = {978-3-319-19248-2},
keywords = {},
pages = {435-452},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T18:45:53.000+0100},
title = {Counterexamples for Expected Rewards.},
url = {http://dblp.uni-trier.de/db/conf/fm/fm2015.html#QuatmannJDWAKB15},
volume = 9109,
year = 2015
}