TITLE     : TR 09: Coalgebraic bisimulation of FuTS
AUTHOR(S) : Latella D, Massink M, De Vink E
TYPE      : Other
YEAR      : 2013
CODE      : 207634

*** DO NOT EDIT THIS FILE ***