![](/img/cover-not-exists.png)
Weighted automata and weighted MSO logics for average and long-time behaviors
Manfred Droste, Ingmar MeineckeVolume:
220-221
Year:
2012
Language:
english
DOI:
10.1016/j.ic.2012.10.001
File:
PDF, 322 KB
english, 2012