2878 search results - page 141 / 576 » Model Checking FTA |
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
132
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
CMSB
2009
Springer
15 years 9 months ago
2009
Springer
123
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...