EEMCS

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

EEMCS EPrints Service


Author: Bravetti, M.
Home Policy Brochure Browse Search User Area Contact Help

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