A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks

✍ Scribed by Pedro T Monteiro; Estelle Dumas; Bruno Besson; Radu Mateescu; Michel Page; Ana T Freitas; Hidde de Jong

• Book ID: 114998866
• Publisher: BioMed Central
• Year: 2009
• Tongue: English
• Weight: 940 KB
• Volume: 10
• Category: Article
• ISSN: 1471-2105
• DOI: 10.1186/1471-2105-10-450