A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | ISSN: 1471-2105 |
| Author | Monteiro, Pedro, Dumas, Estelle, Besson, Bruno, Mateescu, Radu, Page, Michel, Freitas, Ana, de Jong, Hidde |
| Maintainer | CCSD |
| Last Updated | May 14, 2026, 17:26 (UTC) |
| Created | May 14, 2026, 17:26 (UTC) |
| Identifier | hal-00784446 |
| Language | en |
| Rights | https://about.hal.science/hal-authorisation-v1/ |
| contributor | Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID) ; Instituto Superior Técnico (Universidade de Lisboa) [Lisboa] (IST / Técnico Lisboa) ; Universidade de Lisboa = University of Lisbon = Université de Lisbonne [Lisboa] (ULISBOA)-Universidade de Lisboa = University of Lisbon = Université de Lisbonne [Lisboa] (ULISBOA)-Instituto de Engenharia de Sistemas e Computadores (INESC) |
| creator | Monteiro, Pedro |
| date | 2009-05-14T00:00:00 |
| harvest_object_id | 11148a59-0f50-4500-a22e-d83e5bbe9851 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2025-12-18T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.1186/1471-2105-10-450 |
| set_spec | type:ART |