This paper shows how static analysis techniques can help understanding biological systems. Based on a simple example we illustrate the outcome of performing three different analyses extracting information of increasing precision. We conclude by reporting on the potential impact and exploitation of these techniques in systems biology.
|Title of host publication||Proc. of workshop on Systeomatics - dynamic biological systems informatics|
|Publisher||Computer Science Press, Trinity College Dublin|
|Publication status||Published - 2004|