TITLE     : Model Checking Dependability Attributes of Wireless Group Communication. Full Version
AUTHOR(S) : Massink M, Katoen J, Latella D
TYPE      : Other
YEAR      : 2004
CODE      : 160717

*** DO NOT EDIT THIS FILE ***