Publication Overview

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

Trace Semantics for Stochastic Systems with Nondeterminism

Published in: Electr. Notes Theor. Comput. Sci.
Year: 2006
Volume: 164
Pages: 187-204