CSL Model Checking Algorithms for Infinite-State Structured Markov Chains

DOI10.1007/978-3-540-75454-1_24zbMath1141.68355OpenAlexW1899490968MaRDI QIDQ3510851

Anne Remke, Boudewijn R. Haverkort

Publication date: 3 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75454-1_24

Mathematics Subject Classification ID

Queueing theory (aspects of probability theory) (60K25) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Quantitative Analysis of Communication Scenarios

This page was built for publication: CSL Model Checking Algorithms for Infinite-State Structured Markov Chains