@incollection{Rutten_1998,
doi = {10.1007/bfb0055624},
url = {https://doi.org/10.1007%2Fbfb0055624},
year = {1998},
publisher = {Springer Berlin Heidelberg},
pages = {194--218},
author = {J. J. M. M. Rutten},
title = {Automata and coinduction (an exercise in coalgebra)},
booktitle = {{CONCUR}{\textquotesingle}98 Concurrency Theory}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A