@phdthesis{de-5462,
  title = {Symbolic semantics and verification of stochastic process algebras},
  author = {Matthias Kuntz},
  year = {2006},
  url = {http://www.opus.ub.uni-erlangen.de/opus/volltexte/2006/332/index.html},
  note = {http://d-nb.info/97894139X},
  researchr = {https://researchr.org/publication/de-5462},
  cites = {0},
  citedby = {0},
  school = {University of Erlangen-Nuremberg},
}