@Inproceedings{EPTCS296.5,
  author    = {Kahramano\u{g}ullar{\i}, Ozan},
  year      = {2019},
  title     = {On Quantitative Comparison of Chemical Reaction Network Models},
  editor    = {De Angelis, Emanuele and Fedyukovich, Grigory and Tzevelekos, Nikos and Ulbrich, Mattias},
  booktitle = {{\rm Proceedings of the Sixth Workshop on}
               Horn Clauses for Verification and Synthesis {\rm and Third Workshop on} Program Equivalence and Relational Reasoning,
               {\rm Prague, Czech Republic, 6-7th April 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {296},
  publisher = {Open Publishing Association},
  pages     = {14-27},
  doi       = {10.4204/EPTCS.296.5},
}