BibTeX record journals/corr/abs-1909-07653

• > Home > journals/corr/abs-1909-07653

@inproceedings{DBLP:journals/corr/abs-1909-07653,
  author       = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
                  Nicolas Markey and
                  Ritam Raha},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Reachability Games with Relaxed Energy Constraints},
  booktitle    = {Proceedings Tenth International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
                  2019},
  series       = {{EPTCS}},
  volume       = {305},
  pages        = {17--33},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.305.2},
  doi          = {10.4204/EPTCS.305.2},
  timestamp    = {Mon, 15 Jun 2020 16:54:37 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-07653.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}