Publication Overview

V. Wolf and C. Baier and M. E. Majster-Cederbaum

Trace Semantics for Stochastic Systems with Nondeterminism

Published in: Proceedings of the International Workshop on Quantitative Aspects of Programming Languages (QAPL'06)
Year: 2006
Volume: 164
Pages: 187-204