Semi-quantitative abstraction and analysis of chemical reaction networks

DOI10.1007/978-3-030-25540-4_28arXiv1905.09914MaRDI QIDQ6194590

Milan Češka, Jan Křetínský

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.09914

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Related Items (2)

Abstraction-guided truncations for stationary distributions of Markov population models ⋮ Abstraction-based segmental simulation of chemical reaction networks

This page was built for publication: Semi-quantitative abstraction and analysis of chemical reaction networks