Using the ASTRAL Model Checker to Analyze Mobile IP.

Zhe Dang, Richard A. Kemmerer

Browse the full ICSE paper archive.