EEMCS

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

EEMCS EPrints Service


Editor: Gilmore, S.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2001

Cloth, L. and Bohnenkamp, H.C. and Haverkort, B.R.H.M. (2001) Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In: Process Algebra and Probabilistic Models, Performance Modeling and Verification, 2001, Aachen, Germany. pp. 152-167. Lecture Notes in Computer Science 2165. ISBN 3-540-42556-X
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) MODEST: A modelling language for stochastic timed systems. In: Joint Int. Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV), Aachen, Germany. pp. 87-104. Springer-Verlag. ISBN 3-540-42556-X
Infante-Lopez, G.G. and Hermanns, H. and Katoen, J.P. (2001) Beyond memoryless distributions: model checking semi-Markov chains. In: Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, 12-14 Sep 2001, Aachen, Germany. pp. 57-70. Lecture Notes in Computer Science 2165. Springer Verlag. ISBN 3-540-42556-X
Katoen, J.P. and Kwiatkowska, M.Z. and Norman, G. and Parker, D.A. (2001) Faster and symbolic CTMC model checking. In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, September 12-14, 2001, Aachen, Germany. pp. 23-38. Lecture Notes in Computer Science 2165. Springer. ISSN 0302-9743 ISBN 3-540-42556-X

This list was generated on Mon May 29 00:45:29 CEST 2017.