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]

Abstract

Abstract is missing.