Coalgebraic Methods in Computer Science: Revised Selected Papers/11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 2012

Б2.13, Б2.11, Б2.3.

Coalgebraic Methods in Computer Science: Revised Selected Papers/11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 2012Ed. by Pattinson D., Schroder L..-Berlin.: Springer, 2012.-Vol. 7399.-259 p.-(Lecture Notes in Computer Science).