Travelled to:1 × Russia
Collaborated with:K.Claessen J.Fisher S.Ishtiaq N.Piterman
Talks about:transduct (1) reachabl (1) network (1) decreas (1) signal (1) model (1) check (1) set (1)
Person: Qinsi Wang
DBLP: Wang:Qinsi
Contributed to:
2013Wrote 1 papers:
- CAV-2013-ClaessenFIPW #model checking #network #reachability #set
- Model-Checking Signal Transduction Networks through Decreasing Reachability Sets (KC, JF, SI, NP, QW), pp. 85–100.