39. Modeling and Analysis of Biological Networks with Model Checking

  1. Mourad Elloumi2 and
  2. Albert Y. Zomaya3
  1. Dragan Bošnački and
  2. Ronny S. Mans

Published Online: 23 DEC 2010

DOI: 10.1002/9780470892107.ch39

Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications

Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications

How to Cite

Bošnački, D. and Mans, R. S. (2011) Modeling and Analysis of Biological Networks with Model Checking, in Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications (eds M. Elloumi and A. Y. Zomaya), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470892107.ch39

Editor Information

  1. 2

    Unit of Technologies of Information and Communication (UTIC) and University of Tunis-El Manar, Tunisia

  2. 3

    School of Information Technologies, The University of Sydney, Australia

Author Information

  1. Eindhoven University of Technology, The Netherlands

Publication History

  1. Published Online: 23 DEC 2010
  2. Published Print: 18 JAN 2011

ISBN Information

Print ISBN: 9780470505199

Online ISBN: 9780470892107

SEARCH

Keywords:

  • modeling and analysis of biological networks with model checking;
  • using model checking - to analyze genetic networks;
  • probabilistic model checking, and biological network analyzing - alternative for Gilliespie-like simulation

Summary

This chapter contains sections titled:

  • Introduction

  • Preliminaries

  • Analyzing Genetic Networks with Model Checking

  • Probabilistic Model Checking for Biological Systems

  • References