Milius S, Pattinson D, Wißmann T (2016)
Publication Type: Conference contribution
Publication year: 2016
Series: Lecture Notes in Computer Science
Book Volume: 9634
Pages Range: 107-125
Conference Proceedings Title: Foundations of Software Science and Computation Structures
Event location: Eindhoven, The Netherlands
ISBN: 978-3-662-49629-9
URI: http://link.springer.com/book/10.1007/978-3-662-49630-5
DOI: 10.1007/978-3-662-49630-5
APA:
Milius, S., Pattinson, D., & Wißmann, T. (2016). A New Foundation for Finitary Corecursion. In Foundations of Software Science and Computation Structures (pp. 107-125). Eindhoven, The Netherlands.
MLA:
Milius, Stefan, Dirk Pattinson, and Thorsten Wißmann. "A New Foundation for Finitary Corecursion." Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Eindhoven, The Netherlands 2016. 107-125.
BibTeX: Download