Number of items: 1.
Conference or workshop publication
|
Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila
Trace Semantics for Stochastic Systems with Nondeterminism.
Di Pierro, Alessandra
Electronic Notes in Theoretical Computer Science : ENTCS
164,3
187-204
In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006, Vienna, Austria 1–2 April 2006
(2006)
Amsterdam [u.a.]
[Conference or workshop publication]
|
|
This list was created automatically on Tue Mar 10 05:21:10 2026 CET
