BibTeX record journals/corr/BrenguierPRS16

download as .bib file

@inproceedings{DBLP:journals/corr/BrenguierPRS16,
  author    = {Romain Brenguier and
               Guillermo A. P{\'{e}}rez and
               Jean{-}Fran{\c{c}}ois Raskin and
               Ocan Sankur},
  title     = {Compositional Algorithms for Succinct Safety Games},
  booktitle = {{SYNT}},
  series    = {{EPTCS}},
  volume    = {202},
  pages     = {98--111},
  year      = {2015}
}
maintained by Schloss Dagstuhl LZI at University of Trier