1796 search results - page 27 / 360 » An Approach to Compositional Model Checking |
CCECE
2006
IEEE
14 years 2 months ago
2006
IEEE
FATES
2004
Springer
14 years 1 months ago
2004
Springer
ENTCS
2008
13 years 8 months ago
2008
JACM
2000
13 years 7 months ago
2000
TCBB
2010
13 years 6 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...