Modular Verification of Qualitative Pathway Models with Fairness (Q4621168)
From MaRDI portal
scientific article; zbMATH DE number 7020166
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Verification of Qualitative Pathway Models with Fairness |
scientific article; zbMATH DE number 7020166 |
Statements
Modular Verification of Qualitative Pathway Models with Fairness (English)
0 references
8 February 2019
0 references
systems biology
0 references
cellular pathways
0 references
model checking
0 references
modular verification
0 references
model reduction
0 references
abstraction
0 references
