Modular verification of qualitative pathway models with fairness (Q4621168)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Modular verification of qualitative pathway models with fairness |
scientific article; zbMATH DE number 7020166
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7453284859657288
0 references
0.7338846325874329
0 references
0.6968469619750977
0 references
0.6884610652923584
0 references
