Coalgebraic Methods in Computer Science
11. CMCS 2012: Tallinn, Estonia
Dirk Pattinson, Lutz Schröder (Eds.): Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 7399 ISBN 978-3-642-32783-4 [ contents ]



