Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior.

Michele Garetto, Marco Gribaudo

Browse the full ISoLA paper archive.