BibTeX record conf/cmsb/BoutillierCCFLT18

download as .bib file

@inproceedings{DBLP:conf/cmsb/BoutillierCCFLT18,
  author    = {Pierre Boutillier and
               Ferdinanda Camporesi and
               Jean Coquet and
               J{\'{e}}r{\^{o}}me Feret and
               Kim Quy{\^{e}}n L{\'{y}} and
               Nathalie Th{\'{e}}ret and
               Pierre Vignet},
  editor    = {Milan Ceska and
               David Safr{\'{a}}nek},
  title     = {KaSa: {A} Static Analyzer for Kappa},
  booktitle = {Computational Methods in Systems Biology - 16th International Conference,
               {CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11095},
  pages     = {285--291},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99429-1\_17},
  doi       = {10.1007/978-3-319-99429-1\_17},
  timestamp = {Sun, 25 Oct 2020 22:40:48 +0100},
  biburl    = {https://dblp.org/rec/conf/cmsb/BoutillierCCFLT18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics