Model Checking logical regulatory networks - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Model Checking logical regulatory networks

Domaines

Bio-Informatique, Biologie Systémique [q-bio.QM]

Jérôme Feret  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01099489

Soumis le : dimanche 4 janvier 2015-09:40:05

Dernière modification le : vendredi 19 avril 2024-16:18:57

Fichier non déposé

Dates et versions

hal-01099489 , version 1 (04-01-2015)

Identifiants

Citer

Pedro T. Monteiro, Wassim Abou-Jaoudé, Denis Thieffry, Claudine Chaouiya. Model Checking logical regulatory networks. WODES'14, 12th IFAC - IEEE International Workshop on Discrete Event Systems, Jean-Marc Faure, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00135⟩. ⟨hal-01099489⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS CNRS INRIA INRIA2 PSL
92 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More