1796 search results - page 27 / 360 » An Approach to Compositional Model Checking |
105
Voted
FATES
2004
Springer
15 years 10 months ago
2004
Springer
ENTCS
2008
15 years 5 months ago
2008
127
click to vote
TCBB
2010
15 years 3 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...