Model-Checking Signal Transduction Networks through Decreasing Reachability Sets

ClaessenCAV2013.pdf
PDF file

In  Computer Aided Verification (CAV)

Details

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