A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
Saved in:
| 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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: mdl DbLabel: MEDLINE Ultimate An: 20042075 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Monteiro+PT%22">Monteiro PT</searchLink>; INRIA Grenoble-Rhône-Alpes, 655 Avenue de l'Europe, Montbonnot, 38334 St Ismier Cedex, France. Pedro.Monteiro@inria.fr<br /><searchLink fieldCode="AU" term="%22Dumas+E%22">Dumas E</searchLink><br /><searchLink fieldCode="AU" term="%22Besson+B%22">Besson B</searchLink><br /><searchLink fieldCode="AU" term="%22Mateescu+R%22">Mateescu R</searchLink><br /><searchLink fieldCode="AU" term="%22Page+M%22">Page M</searchLink><br /><searchLink fieldCode="AU" term="%22Freitas+AT%22">Freitas AT</searchLink><br /><searchLink fieldCode="AU" term="%22de+Jong+H%22">de Jong H</searchLink> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22100965194%22">BMC bioinformatics</searchLink> [BMC Bioinformatics] 2009 Dec 30; Vol. 10, pp. 450. <i>Date of Electronic Publication: </i>2009 Dec 30. – Name: TypePub Label: Publication Type Group: TypPub Data: Journal Article; Research Support, Non-U.S. Gov't – Name: TitleSource Label: Journal Info Group: Src Data: <i>Publisher: </i><searchLink fieldCode="PB" term="%22BioMed+Central%22">BioMed Central </searchLink><i>Country of Publication: </i>England <i>NLM ID: </i>100965194 <i>Publication Model: </i>Electronic <i>Cited Medium: </i>Internet <i>ISSN: </i>1471-2105 (Electronic) <i>Linking ISSN: </i><searchLink fieldCode="IS" term="%2214712105%22">14712105 </searchLink><i>NLM ISO Abbreviation: </i>BMC Bioinformatics <i>Subsets: </i>MEDLINE |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=mdl&AN=20042075 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1186/1471-2105-10-450 Languages: – Code: eng Text: English PhysicalDescription: Pagination: StartPage: 450 Titles: – TitleFull: A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Monteiro PT – PersonEntity: Name: NameFull: Dumas E – PersonEntity: Name: NameFull: Besson B – PersonEntity: Name: NameFull: Mateescu R – PersonEntity: Name: NameFull: Page M – PersonEntity: Name: NameFull: Freitas AT – PersonEntity: Name: NameFull: de Jong H IsPartOfRelationships: – BibEntity: Dates: – D: 30 M: 12 Text: 2009 Dec 30 Type: published Y: 2009 Identifiers: – Type: issn-electronic Value: 1471-2105 Numbering: – Type: volume Value: 10 Titles: – TitleFull: BMC bioinformatics Type: main |
| ResultId | 1 |
