Anzahl der Einträge: 1.
|
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.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Sat Apr 20 01:42:30 2024 CEST automatisch erstellt.
