Modular Verification of Qualitative Pathway Models with Fairness

DOI10.7561/SACS.2013.1.75zbMath1424.92015OpenAlexW2073967060MaRDI QIDQ4621168

Giovanni Pardini, Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7561/sacs.2013.1.75

zbMATH Keywords

model reductionmodel checkingabstractionsystems biologycellular pathwaysmodular verification

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Systems biology, networks (92C42)

Related Items (2)

Component identification in biochemical pathways ⋮ Identification of components in biochemical pathways: extensive aqpplication to SBML models

This page was built for publication: Modular Verification of Qualitative Pathway Models with Fairness