Coalgebraic automata theory: Basic results

Cached

Download Links

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