EEMCS

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

EEMCS EPrints Service


Editor: Lugiez, D.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2003

Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V. (2003) Comparative branching-time semantics for Markov chains. In: Concurrency Theory (CONCUR). pp. 492-507. Lecture Notes in Computer Science 2761. Springer-Verlag. ISBN 978-3-540-40753-9

This list was generated on Mon Mar 20 03:18:03 CET 2017.