Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1675380,
author = {Troják, Matej and Šafránek, David and Brim, Luboš and Šalagovič, Jakub and Červený, Jan},
address = {Amsterdam},
booktitle = {9th International Workshop on Static Analysis and Systems Biology (SASB)},
doi = {http://dx.doi.org/10.1016/j.entcs.2020.06.006},
edition = {ENTCS 350},
editor = {Ankit Gupta, Tatjana Petrov},
keywords = {rule-based modelling; formal specification; static analysis},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Amsterdam},
pages = {91-116},
publisher = {Elsevier},
title = {Executable Biochemical Space for Specification and Analysis of Biochemical Systems},
url = {https://doi.org/10.1016/j.entcs.2020.06.006},
year = {2020}
}
TY - JOUR
ID - 1675380
AU - Troják, Matej - Šafránek, David - Brim, Luboš - Šalagovič, Jakub - Červený, Jan
PY - 2020
TI - Executable Biochemical Space for Specification and Analysis of Biochemical Systems
PB - Elsevier
CY - Amsterdam
KW - rule-based modelling
KW - formal specification
KW - static analysis
UR - https://doi.org/10.1016/j.entcs.2020.06.006
N2 - We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.
ER -
TROJÁK, Matej, David ŠAFRÁNEK, Luboš BRIM, Jakub ŠALAGOVIČ and Jan ČERVENÝ. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. Online. In Ankit Gupta, Tatjana Petrov. \textit{9th International Workshop on Static Analysis and Systems Biology (SASB)}. ENTCS 350. Amsterdam: Elsevier, 2020, p.~91-116. ISSN~1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2020.06.006.
|
