Coalgebraic automata theory: basic results (0)

by C Kupke, Y Venema
Venue:Logical Methods in Computer Science