From reaction models to influence graphs and back: a theorem

Publication
In Springer-Verlag, editor, Proceedings of Formal Methods in Systems Biology FMSB'08, volume 5054 of LNCS