A weighted mu-calculus on words

Authors: 
Meinecke, Ingmar
Year: 
2009
Appeared / Erschienen in: 
In: "Developments in Language Theory (DLT 2009)", Lecture Notes in Computer Science, vol. 5583, Springer, 2009, accepted.