Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation

Abstract

Supplementary data are available at Bioinformatics online.