BibTeX record conf/cmsb/BoutillierCCFLT18

• > Home > conf/cmsb/BoutillierCCFLT18

@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}
}