Weighted Branching Automata - Combining Concurrency and Weights

Authors: 
Meinecke, Ingmar
Appeared / Erschienen in: 
Dissertation, TU Dresden.