39. Modeling and Analysis of Biological Networks with Model Checking
- Mourad Elloumi2 and
- Albert Y. Zomaya3
Published Online: 23 DEC 2010
Copyright © 2011 John Wiley & Sons, Inc.
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
Unit of Technologies of Information and Communication (UTIC) and University of Tunis-El Manar, Tunisia
School of Information Technologies, The University of Sydney, Australia
- Published Online: 23 DEC 2010
- Published Print: 18 JAN 2011
Print ISBN: 9780470505199
Online ISBN: 9780470892107
Options for accessing this content:
- If you are a society or association member and require assistance with obtaining online access instructions please contact our Journal Customer Services team.
- Login via other institutional login options http://onlinelibrary.wiley.com/login-options.
- You can purchase online access to this Chapter for a 24-hour period (price varies by title)
- If you already have a Wiley Online Library or Wiley InterScience user account: login above and proceed to purchase the article.
- New Users: Please register, then proceed to purchase the article.
Login via OpenAthens
Search for your institution's name below to login via Shibboleth.
Registered Users please login:
- Access your saved publications, articles and searches
- Manage your email alerts, orders and subscriptions
- Change your contact information, including your password
Please register to:
- Save publications, articles and searches
- Get email alerts
- Get all the benefits mentioned below!