Microsoft Research
Microsoft Translator |
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets

Claessen K., Fisher J., Ishtiaq S., Piterman N., and Wang Q.
2013

ClaessenCAV2013.pdf
PDF file

In  Computer Aided Verification (CAV)

Details

TypeProceedings
> Publications > Model-Checking Signal Transduction Networks through Decreasing Reachability Sets