Urbat H (2017)
Publication Status: Published
Publication Type: Conference contribution, Conference Contribution
Publication year: 2017
Publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Book Volume: 72
Article Number: 24
ISBN: 9783959770330
DOI: 10.4230/LIPIcs.CALCO.2017.24
APA:
Urbat, H. (2017). Finite behaviours and finitary corecursion. In Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
MLA:
Urbat, Henning. "Finite behaviours and finitary corecursion." Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017.
BibTeX: Download