Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 09:06:14 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||