Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets

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

Details

Publication typeProceedings
Published inComputer Aided Verification (CAV)
> Publications > Model-Checking Signal Transduction Networks through Decreasing Reachability Sets