%0 Book %T Coalgebraic Methods in Computer Science %T 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016 %+ The University of Tokyo (UTokyo) %A Hasuo, Ichiro %@ 978-3-319-40369-4 %I Springer %S Coalgebraic Methods in Computer Science %V LNCS-9608 %8 2016 %D 2016 %R 10.1007/978-3-319-40370-0 %Z Computer Science [cs]Books %X Book Front Matter of LNCS 9608 %G English %Z TC 1 %Z WG 1.3 %L hal-01446038 %U https://inria.hal.science/hal-01446038 %~ IFIP-LNCS %~ IFIP %~ IFIP-TC %~ IFIP-TC1 %~ IFIP-LNCS-9608 %~ IFIP-WG1-3 %~ IFIP-CMCS