TITLE     : Model checking dependability attributes of wireless group communication.
AUTHOR(S) : Massink M, Katoen J P, Latella D
TYPE      : Conference article
YEAR      : 2004
CODE      : 91086

*** DO NOT EDIT THIS FILE ***