Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Number of the records: 1

1.

SYSNO	0536273
Title	Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Author(s)	Troják, M. (CZ) Šafránek, D. (CZ) Brim, L. (CZ) Šalagovič, Jakub (UEK-B) [VS5] Červený, Jan (UEK-B) [VS5]_{RID, ORCID, SAI}
Source Title	ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. S. 91-116. - Freiburg : Elsevier, 2020
Conference	9th International Workshop on Static Analysis and Systems Biology (SASB), 28.08.2018 - 28.08.2018, Freiburg
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	LM2015055 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic
Institutional support	UEK-B - RVO:86652079
Language	eng
Country	NL
Keywords	annotation * simulation * framework * semantics * kappa * rule-based modelling * formal specification * static analysis
URL	https://www.sciencedirect.com/science/article/pii/S1571066120300347?via%3Dihub
Permanent Link	http://hdl.handle.net/11104/0314081

Number of the records: 1