@收款{zbMATH06862916，作者={D{\v{e}}D，T.和{\v}S}afr{\'a}-nek，D.和Troj{\'a}k，M.和Klement，M.以及{\v{S}alagovi{\v}c}}，J.和Brim，L.}，标题={Kappa}和{BNGL}}中具有语义的形式化生化空间，BookTitle={第六届静态分析和系统生物学国际研讨会（SASB 2015）的后期发布，法国圣马洛，2015年9月8日}，页码={27--49}，年份={2016年}，出版商＝{阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2016.09.017}，关键词={92C40,68Q45,68Q55}，zbMATH={6862916}，Zbl={1401.92076}}