BibTeX record conf/sycss/BrenasES17

download as .bib file

@inproceedings{DBLP:conf/sycss/BrenasES17,
  author    = {Jon Ha{\"{e}}l Brenas and
               Rachid Echahed and
               Martin Strecker},
  title     = {{C2PDLS:} {A} Combination of Combinatory and Converse {PDL} with Substitutions},
  booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
               in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  pages     = {29--41},
  year      = {2017},
  crossref  = {DBLP:conf/sycss/2017},
  url       = {http://www.easychair.org/publications/paper/C2PDLS\_A\_Combination\_of\_Combinatory\_and\_Converse\_PDL\_with\_Substitutions},
  timestamp = {Wed, 26 Apr 2017 14:27:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sycss/BrenasES17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sycss/2017,
  editor    = {Mohamed Mosbah and
               Micha{\"{e}}l Rusinowitch},
  title     = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
               in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series    = {EPiC Series in Computing},
  volume    = {45},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/SCSS\_2017},
  timestamp = {Wed, 26 Apr 2017 14:24:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sycss/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics