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

Saved in:
Bibliographic Details
Title: A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
Authors: Monteiro PT; INRIA Grenoble-Rhône-Alpes, 655 Avenue de l'Europe, Montbonnot, 38334 St Ismier Cedex, France. Pedro.Monteiro@inria.fr, Dumas E, Besson B, Mateescu R, Page M, Freitas AT, de Jong H
Source: BMC bioinformatics [BMC Bioinformatics] 2009 Dec 30; Vol. 10, pp. 450. Date of Electronic Publication: 2009 Dec 30.
Publication Type: Journal Article; Research Support, Non-U.S. Gov't
Journal Info: Publisher: BioMed Central Country of Publication: England NLM ID: 100965194 Publication Model: Electronic Cited Medium: Internet ISSN: 1471-2105 (Electronic) Linking ISSN: 14712105 NLM ISO Abbreviation: BMC Bioinformatics Subsets: MEDLINE
Database: MEDLINE Ultimate
Description
ISSN:1471-2105
DOI:10.1186/1471-2105-10-450