Fingerprint
Dive into the research topics of 'CSL Model Checking Algorithms for Infinite-state Structured Markov chains'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
CSL Model Checking Algorithms for Infinite-state Structured Markov chains
Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort, J.-F. Raskin (Editor), P.S. Thiagarajan (Editor)
Research output: Other contribution
6
Citations
(Scopus)