@CONFERENCE\{IMM2004-03188,
    author       = "F. Nielson and H. R. Nielson and D. Schuch da Rosa and C. Priami",
    title        = "Static Analysis for Systems Biology",
    year         = "2004",
    booktitle    = "Proc. of workshop on Systeomatics - dynamic biological systems informatics",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "Computer Science Press, Trinity College Dublin",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3188-full.html",
    abstract     = "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."
}