Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012)

Pattinson D, Schröder L (2012)

Publication Type: Edited Volume

Subtype: Book

Publication year: 2012

Publisher: Springer

Series: Lecture Notes in Computer Science

City/Town: Berlin

Book Volume: 7399

ISBN: 9783642327834

URI: http://link.springer.com/book/10.1007%2F978-3-642-32784-1

DOI: 10.1007/978-3-642-32784-1

Editors with CRIS profile

Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014

Involved external institutions

Australian National University (ANU) AU Australia (AU)

How to cite

APA:

Pattinson, D., & Schröder, L. (Eds.) (2012). Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012). Berlin: Springer.

MLA:

Pattinson, Dirk, and Lutz Schröder, eds. Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012). Berlin: Springer, 2012.

BibTeX: Download