Weighted automata and weighted logics (2005)

by Manfred Droste, Paul Gastin
Venue:of Lecture Notes in Computer Science