Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks.

Yati Phyo, Kazuhiro Ogata

Browse the full APSEC paper archive.