BibTeX record conf/sasb/TrojakSBSC20

• > Home > conf/sasb/TrojakSBSC20

@inproceedings{DBLP:conf/sasb/TrojakSBSC20,
  author       = {Matej Troj{\'{a}}k and
                  David Safr{\'{a}}nek and
                  Lubos Brim and
                  Jakub Salagovic and
                  Jan Cerven{\'{y}}},
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {Executable Biochemical Space for Specification and Analysis of Biochemical
                  Systems},
  booktitle    = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {350},
  pages        = {91--116},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.06.006},
  doi          = {10.1016/J.ENTCS.2020.06.006},
  timestamp    = {Thu, 10 Nov 2022 16:13:45 +0100},
  biburl       = {https://dblp.org/rec/conf/sasb/TrojakSBSC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}