Publications

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

AuthID
P-007-XG2

Author(s)

Monteiro, PT

Freitas, AT

Ropers, D

Mateescu, R

De Jong, H

Document Type

Proceedings Paper

Year published

2010

Published

in 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010

Pages: 812-813

Conference

2010 Ieee International Conference on Bioinformatics and Biomedicine Workshops, Bibmw 2010, Date: 18 December 2010 through 21 December 2010, Location: HongKong, Sponsors: IEEE Computer Society;IEEE;Shanghai University of T.C.M

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/bibmw.2010.5703920

Scopus: 2-s2.0-79952018962

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help