TITLE     : Model checking publish/subscribe notification for thinkteam
AUTHOR(S) : Maurice H Ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
TYPE      : Conference article
YEAR      : 2005
CODE      : 174931

*** DO NOT EDIT THIS FILE ***