Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. In Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Volume 350 of Electronic Notes in Theoretical Computer Science, pages 91-116, Elsevier, 2020. [doi]
Abstract is missing.