DMCA

Automatized Verification of Ad Hoc Routing Protocols (2004)

by Oskar Wibling , Joachim Parrow , Arnold Pears
Venue:in Formal Techniques for Networked and Distributed Systems (FORTE 2004
Citations:21 - 2 self