TITLE     : Automata for analysing service contracts
AUTHOR(S) : Basile D., Degano P., Ferrari G.  L.
TYPE      : Contribution to book
YEAR      : 2014
CODE      : 412710

*** DO NOT EDIT THIS FILE ***