Model Checking logical regulatory networks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :
No file

Dates and versions

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

Identifiers

Cite

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⟩
91 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More