In: J. Adamek; C. Kupke (Hrsg.). Coalgebraic Methods in Computer Science. International Workshop on Coalgebraic Methods in Computer Science (CMCS-08), …
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Research Department Embedded Intelligence Trippstadter Str. 122 67663 Kaiserslautern Germany