Coalgebraic automata theory: Basic results
by
Clemens Kupke
,
Yde Venema
| Venue: | Logical Methods in Computer Science |
| Citations: | 12 - 4 self |

