EEMCS

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

EEMCS EPrints Service


Editor: Gordon, A.
Home Policy Brochure Browse Search User Area Contact Help

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 Mon Mar 20 01:07:37 CET 2017.