Basket

0536273 - ÚVGZ 2022 RIV NL eng C - Conference Paper (international conference)
Troják, M. - Šafránek, D. - Brim, L. - Šalagovič, Jakub - Červený, Jan
Executable Biochemical Space for Specification and Analysis of Biochemical Systems.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Freiburg: Elsevier, 2020, s. 91-116. ISSN 1571-0661.
[9th International Workshop on Static Analysis and Systems Biology (SASB). Freiburg (DE), 28.08.2018-28.08.2018]
R&D Projects: GA MŠMT(CZ) LM2015055
Institutional support: RVO:86652079
Keywords : annotation * simulation * framework * semantics * kappa * rule-based modelling * formal specification * static analysis
OECD category: Environmental biotechnology
https://www.sciencedirect.com/science/article/pii/S1571066120300347?via%3Dihub
Permanent Link: http://hdl.handle.net/11104/0314081