TITLE     : A timed full LOTOS with time/action tree semantics
AUTHOR(S) : Bolognesi T, Lucidi F
TYPE      : Contribution to book
YEAR      : 1994
CODE      : 409404

*** DO NOT EDIT THIS FILE ***