A property oriented fault detection approach for link state routing protocol.

Feiyi Wang, Fengmin Gong, Shyhtsun Felix Wu

Browse the full ICCCN paper archive.