TITLE     : Using UPPAAL for the specification and verification of a lip-sync protocol-full version
AUTHOR(S) : Faconti G, Latella D, Massink M, Bowman H, Kaoten Jp
TYPE      : Other
YEAR      : 1998
CODE      : 410935

*** DO NOT EDIT THIS FILE ***