@Techreport{LMd13,
   joint-pub = {false},
   status = {public},
   number = {09},
   task = {T2.1},
   month = {January},
   year = {2013},
   invited = {no},
   timestamp = {2013.11.07},
   main = {no},
   accessible = {true},
   title = {{Coalgebraic Bisimulation of FuTS}},
   author = {Diego Latella and Mieke Massink and Erik de Vink},
   period = {year3},
   institution = {ASCENS},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {ISTI},
   wp = {wp2}
}