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