Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior
Keyword(s):
2013 ◽
Vol 3
(3)
◽
pp. 200-206
◽
Keyword(s):
2013 ◽
Vol 18
(12)
◽
pp. 3469-3480
◽
2015 ◽
Vol 64
(8)
◽
pp. 3740-3754
◽