In: J. Adamek; C. Kupke (Hrsg.). Coalgebraic Methods in Computer Science. International Workshop on Coalgebraic Methods in Computer Science (CMCS-08), …
In: Proceedings of the World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008. World Conference on Educational Multimedia …