TITLE     : Modelling and verification of PREMO synchronizable objects
AUTHOR(S) : Faconti G., Massink M.
TYPE      : Article
YEAR      : 1999
CODE      : 408286

*** DO NOT EDIT THIS FILE ***