EEMCS

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

EEMCS EPrints Service


Editor: Segala, R.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2002

Hermanns, H. and Segala, R., ed. (2002) Process Algebra and Probabilistic Methods, Performance Modeling and Verification. Lecture Notes in Computer Science 2399. Springer-Verlag, Copenhagen, Denmark. ISSN 0302-9743 ISBN 3-540-43913-7

This list was generated on Mon May 29 05:38:25 CEST 2017.