Published November 5, 2025
| Version v3
Standard
Open
Bounded Model Checking using SMT Solvers for RKIP Inhibited ERK Pathway Model
Authors/Creators
Files
BMC_SMT_RKIPinhibitedERK_Pathway.pdf
Files
(110.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:20df935f33d9dbf14efa8ab3f79ed065
|
84.0 kB | Preview Download |
|
md5:5448709bb26884d0b65c6e55780cf9d6
|
26.6 kB | Download |
Additional details
Software
- Programming language
- Python