Skip to Main content Skip to Navigation
Conference papers

Model Checking logical regulatory networks

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01099489
Contributor : Jérôme Feret <>
Submitted on : Sunday, January 4, 2015 - 9:40:05 AM
Last modification on : Tuesday, September 22, 2020 - 3:48:02 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

504