Košík

0536273 - ÚVGZ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA MŠMT(CZ) LM2015055
Institucionální podpora: RVO:86652079
Klíčová slova: annotation * simulation * framework * semantics * kappa * rule-based modelling * formal specification * static analysis
Obor OECD: Environmental biotechnology
https://www.sciencedirect.com/science/article/pii/S1571066120300347?via%3Dihub
Trvalý link: http://hdl.handle.net/11104/0314081