Trace Semantics for Stochastic Systems with Nondeterminism

@article{pub16953,
    author = {

Wolf, Verena
 and 

Baier, Christel
 and 

Majster-Cederbaum, Mila
},
    editor = {

bekannt, Nicht
},
    title = {Trace Semantics for Stochastic Systems with Nondeterminism},
    year = {2006},
    month = {10},
    volume = {164},
    number = {3},
    pages = {187--204},
    journal = {Electronic Notes in Theoretical Computer Science},
    publisher = {Elsevier}
}