Modeling and analysis of biological networks with model checking (Chapter 39)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)
7 Downloads (Pure)

Abstract

No abstract.
Original languageEnglish
Title of host publicationAlgorithms in computational molecular biology : techniques, approaches and applications
EditorsM. Elloumi, A.Y. Zomaya
Place of PublicationHoboken
PublisherWiley
Pages915-940
ISBN (Print)978-0-470-50519-9
DOIs
Publication statusPublished - 2011

Publication series

NameWiley Series in Bioinformatics

Fingerprint Dive into the research topics of 'Modeling and analysis of biological networks with model checking (Chapter 39)'. Together they form a unique fingerprint.

  • Cite this

    Bosnacki, D., Hilbers, P. A. J., Mans, R. S., & Vink, de, E. P. (2011). Modeling and analysis of biological networks with model checking (Chapter 39). In M. Elloumi, & A. Y. Zomaya (Eds.), Algorithms in computational molecular biology : techniques, approaches and applications (pp. 915-940). (Wiley Series in Bioinformatics). Wiley. https://doi.org/10.1002/9780470892107.ch39