Publications

Computation Tree Regular Logic for Genetic Regulatory Networks

AuthID
P-007-P13

Author(s)

Mateescu, R

Monteiro, PT

Dumas, E

de Jong, H

Editor(s)

Cha, S; Choi, JY; Kim, M; Lee, I; Viswanathan, M

Document Type

Proceedings Paper

Year published

2008

Published

in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5311, Pages: 48-63 (16)

Conference

6Th International Symposium on Automated Technology for Verification and Analysis, Date: OCT 20-23, 2008, Location: Seoul, SOUTH KOREA, Sponsors: Korean Inst. of Inf. Sci. and Eng. (SIGPL and Softw. Eng. Soc.);Korea University;Korea Advanced Institute of Science and Technology (KAIST);KAIST, Software Process Improvement Center;KAIST, Defense Software Research Center

Indexing