Book Chapter10.1007/978-3-642-28839-5_30

Efficient Verification for Logical Models of Regulatory Networks

Pedro T. Monteiro,Claudine Chaouiya-2012-01-01-Advances in intelligent and soft computing

13

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Model checkingEncoding (memory)Computer scienceLogical data modelTheoretical computer scienceState spaceSymbolic data analysisReduction (mathematics)

Chat

Click to start Chat