Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2006
Bravetti, M. and Hermanns, H. and Katoen, J.P.
(2006)
YMCA: Why Markov Chain Algebra?
In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy.
pp. 107-112.
Electronic Notes in Theoretical Computer Science 162.
Elsevier.
ISSN 1571-0661
Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V.
(2006)
Bisimulation and Simulation Relations for Markov Chains.
In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy.
pp. 73-78.
Electronic Notes in Theoretical Computer Science 162.
Elsevier.
ISSN 1571-0661
This list was generated on Thu May 24 06:23:46 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||