Using the ASTRAL model checker to analyze mobile IP,” (1999)

by Z Dang, R A Kemmerer
Venue:in ICSE ’99: Proceedings of the 21st international conference on Software engineering.