Matthias Kuntz. Symbolic semantics and verification of stochastic process algebras. PhD thesis, University of Erlangen-Nuremberg, 2006. [doi]
@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}, }