Publications

Modeling and Formal Verification of Biological Regulatory Networks: an Integrative Approach

AuthID
P-00P-5F5

Author(s)

Monteiro, PT

Freitas, AT

Ropers, D

Mateescu, R

de Jong, H

Editor(s)

DiBernardo, D; Chan, TF; Chen, J; Chen, X; Chen, X; Chen, Y; Cheng, X; Cho, HG; Cho, YR; Couto, F; Davuluri, RV; Gao, L; Guzzi, PH; Hsiao, CK; Hsu, HH; Huan, LJ; Huang, K; Huang, Y; Jiang, R; Klement, W; Li, GZ; Luo, B; Michalowski, M; Ott, J; Pan, Q; Park, T; Pattini, L; Potetz, B; Song, X; OSullivan, D; Sun, H; Tseng, VS; Wang, Y; Wu, F; Xi, D; Yiu, SM; Zhang, S; Zhao, Z; Zheng, H

Document Type

Proceedings Paper

Year published

2010

Published

in 2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW) in IEEE International Conference on Bioinformatics and Biomedicine Workshop-BIBMW, ISSN: 2163-6966

Pages: 812-813 (2)

Conference

Ieee International Conference on Bioinformatics and Biomedicine Workshops (Bibmw), Date: DEC 18, 2010, Location: Hong Kong, PEOPLES R CHINA, Sponsors: IEEE, IEEE Comp Soc, Shanghai Univ TCM

Indexing