Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques.

Michele Garetto Marco Gribaudo Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. 73-82 2006 conf/qest/2006 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2006.42 db/conf/qest/qest2006.html#GarettoG06