%0 Book
%T Coalgebraic Methods in Computer Science
%T 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
%+ Australian National University (ANU)
%+ Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg (FAU)
%A Pattinson, Dirk
%A Schröder, Lutz
%I Springer
%S Coalgebraic Methods in Computer Science
%V LNCS-7399
%8 2012
%D 2012
%R 10.1007/978-3-642-32784-1
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 7399
%G English
%L hal-01539886
%U https://inria.hal.science/hal-01539886
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-CMCS
%~ IFIP-LNCS-7399
%~ IFIP-ETAPS