Model Checking Dependability Attributes of Wireless Group Communication.

Mieke Massink, Joost-Pieter Katoen, Diego Latella

Browse the full DSN paper archive.