Additional file 2.
Description of the procedures used to identify interactions between subsystems, along with formal proofs. This is given as a pdf file and is referred to in the main text.
Format: PDF Size: 142KB Download file
This file can be viewed with: Adobe Acrobat Reader
Irons and Monk BMC Bioinformatics 2007 8:413 doi:10.1186/1471-2105-8-413