Automata and coinduction (an exercise in coalgebra (1998)

by J. J. M. M. Rutten
Venue:LNCS
Citations:62 - 16 self

Document Versions

Automata and coinduction (an exercise in coalgebra –J. J. M. M. Rutten — 1998 — LNCS
Automata and Coinduction (an exercise in coalgebra) –J. J. M. M. Rutten — 1998