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