BibTeX record conf/bcb/KarthikSRSMBR14

download as .bib file

@inproceedings{DBLP:conf/bcb/KarthikSRSMBR14,
  author    = {Aadithya V. Karthik and
               David Soloveichik and
               Sayak Ray and
               Baruch Sterin and
               Alan Mishchenko and
               Robert K. Brayton and
               Jaijeet Roychowdhury},
  title     = {{NINJA:} boolean modelling and formal verification of tiered-rate
               chemical reaction networks (extended abstract)},
  booktitle = {Proceedings of the 5th {ACM} Conference on Bioinformatics, Computational
               Biology, and Health Informatics, {BCB} '14, Newport Beach, California,
               USA, September 20-23, 2014},
  pages     = {623--624},
  year      = {2014},
  crossref  = {DBLP:conf/bcb/2014},
  url       = {https://doi.org/10.1145/2649387.2660805},
  doi       = {10.1145/2649387.2660805},
  timestamp = {Tue, 06 Nov 2018 16:59:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/bcb/KarthikSRSMBR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bcb/2014,
  editor    = {Pierre Baldi and
               Wei Wang},
  title     = {Proceedings of the 5th {ACM} Conference on Bioinformatics, Computational
               Biology, and Health Informatics, {BCB} '14, Newport Beach, California,
               USA, September 20-23, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2649387},
  doi       = {10.1145/2649387},
  isbn      = {978-1-4503-2894-4},
  timestamp = {Tue, 06 Nov 2018 16:59:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/bcb/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier