Matthias Kuntz

Symbolic semantics and verification of stochastic process algebras.
. University of Erlangen-Nuremberg, Germany, (2006)
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found