Core SBML and Its Formal Semantics

Joachim Niehren, Cédric Lhoussaine, Athénaïs Vaginay. Core SBML and Its Formal Semantics. In Jun Pang 0001, Joachim Niehren, editors, Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings. Volume 14137 of Lecture Notes in Computer Science, pages 124-143, Springer, 2023. [doi]

@inproceedings{NiehrenLV23,
  title = {Core SBML and Its Formal Semantics},
  author = {Joachim Niehren and Cédric Lhoussaine and Athénaïs Vaginay},
  year = {2023},
  doi = {10.1007/978-3-031-42697-1_9},
  url = {https://doi.org/10.1007/978-3-031-42697-1_9},
  researchr = {https://researchr.org/publication/NiehrenLV23},
  cites = {0},
  citedby = {0},
  pages = {124-143},
  booktitle = {Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
  editor = {Jun Pang 0001 and Joachim Niehren},
  volume = {14137},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-42697-1},
}