eBCSgen 2.0: modelling and analysis of regulated rule-based systems

DOI10.1007/978-3-031-15034-0_17zbMath1505.92083OpenAlexW4292227664MaRDI QIDQ2112172

Matej Troják, Branislav Brozmann, David Šafránek, Luboš Brim

Publication date: 18 January 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15034-0_17

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to biology (92-04) Systems biology, networks (92C42)

Related Items (1)

eBCSgen

Uses Software

• BioNetGen
• BIOCHAM
• libSBML
• PySB
• rxncon
• pyModelChecking
• Chromar

Cites Work

• A logic for reasoning about time and reliability
• Formal molecular biology
• eBCSgen: a software tool for biochemical space language
• Chromar, a rule-based language of parameterised objects

This page was built for publication: eBCSgen 2.0: modelling and analysis of regulated rule-based systems