Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007: Proceedings /

PSZJBL

Bibliographic Details
Main Authors: CALCO 2007 (2007 : Bergen, Norway), Mossakowski, Till, Haveraaen, Magne, Montanari, Ugo, SpringerLink (Online service)
Format:
Language:eng
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-540-73859-6