@techreport{Moeller2019, author = {Bernhard M{\"o}ller}, title = {Basics of Modal Semirings and of Kleene / Omega Algebras}, institution = {Fakult{\"a}t f{\"u}r Angewandte Informatik}, series = {Reports / Technische Berichte der Fakult{\"a}t f{\"u}r Angewandte Informatik der Universit{\"a}t Augsburg}, number = {2019-03}, year = {2019}, }