@inbook{5008b9738deb4d6ebe1df3dcb151bca5,
title = "Modeling and analysis of biological networks with model checking (Chapter 39)",
abstract = "No abstract.",
author = "D. Bosnacki and P.A.J. Hilbers and R.S. Mans and {Vink, de}, E.P.",
year = "2011",
doi = "10.1002/9780470892107.ch39",
language = "English",
isbn = "978-0-470-50519-9",
series = "Wiley Series in Bioinformatics",
publisher = "Wiley",
pages = "915--940",
editor = "M. Elloumi and A.Y. Zomaya",
booktitle = "Algorithms in computational molecular biology : techniques, approaches and applications",
address = "United States",
}