Construction and Verification of Mobile Ad Hoc Network Protocols.

Tue, 01 Jan 2013 00:00:00 +0100

Natsuki Kimura, Noriaki Yoshiura:
Construction and Verification of Mobile Ad Hoc Network Protocols. CSS 2013: 198-212