Nielson, Flemming and Nielson, Hanne Riis and Priami, Corrado and Schuch da Rosa, Debora (2003) Static Analysis for Systems Biology. UNSPECIFIED. (In Press)