EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Supervisor: Siegle, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2006

Kuntz, G.W.M. (2006) Symbolic Semantics and Verification of Stochastic Process Algebras. PhD thesis, Friedrich-Alexander-Universitaet Erlangen-Nuernberg.

This list was generated on Mon Apr 24 08:11:33 CEST 2017.