EEMCS

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

EEMCS EPrints Service


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

Number of items: 1.

2005

Remke, A.K.I. and Haverkort, B.R.H.M. (2005) Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. In: Proceedings of the 7th International Workshop on Performability Modeling of Computer and communication Systems, 23-24 Oct 2005, Turin. pp. 23-26. Alma Riska, Andras Horvath. ISBN not assigned

This list was generated on Fri May 26 02:17:21 CEST 2017.