TY - RPRT TI - Executable Biochemical Space for Specification and Analysis of Biochemical Systems AU - Matej Troják AU - David Šafránek AU - Luboš Brim PY - 2020 DO - 10.1371/journal.pone.0238838 UR - https://arxiv.org/abs/2002.00731 ID - 2002.00731 ER -