TITLE     : A temporal logic approach in the design of communication mechanism for functionally distributed systems
AUTHOR(S) : Fantechi A, Gnesi S, Lijtmaer N
TYPE      : Conference article
YEAR      : 1986
CODE      : 419886

*** DO NOT EDIT THIS FILE ***