%0 Journal Article %T Executable biochemical space for specification and analysis of biochemical systems %A Troják, Matej %A Šafránek, David %A Mertová, Lukrécia %A Brim, Luboš %J PLoS ONE %V 15 %N 9 %D 2020-09-11 %I Public Library of Science %~ DeepDyve