Fingerprint
Dive into the research topics of 'Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards
Anne Remke, Boudewijn R. Haverkort
Research output: Contribution to conference › Paper › Other research output