Travelled to:1 × The Netherlands
1 × USA
Collaborated with:B.Cook J.Fisher N.Piterman N.Bonzanni K.A.Feenstra W.Fokkink
Talks about:system (2) biolog (2) stabil (1) method (1) formal (1) prove (1) bring (1) what (1) can (1)
Person: Elzbieta Krepska
DBLP: Krepska:Elzbieta
Contributed to:
2011
2009Wrote 2 papers:
- VMCAI-2011-CookFKP #biology #proving
- Proving Stabilization of Biological Systems (BC, JF, EK, NP), pp. 134–149.
- FM-2009-BonzanniFFK #biology #formal method #question #what
- What Can Formal Methods Bring to Systems Biology? (NB, KAF, WF, EK), pp. 16–22.