TITLE     : D2.3b: Modal Logics for Behavioural Properties of Mobile Systems
AUTHOR(S) : Gnesi S, Mazzanti F
TYPE      : Other
YEAR      : 2003
CODE      : 160091

*** DO NOT EDIT THIS FILE ***