author = { Ciancia, Vincenzo AND Venema, Yde Vincenzo Ciancia and Yde Venema },

title = { Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { omega-automata , coalgebra , bisimilarity , regular omega-languages , streams },

year = {2019},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }