Coalgebraic automata theory: Basic results

Cached

Download Links

by Clemens Kupke , Yde Venema
Venue:Logical Methods in Computer Science
Citations:17 - 7 self