Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5703762
DOI10.1007/b107194zbMath1087.68059MaRDI QIDQ5703762
Lucia Cloth, Boudewijn R. Haverkort, Anne Remke
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107194
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
60J27: Continuous-time Markov processes on discrete state spaces
Related Items
Performability assessment by model checking of Markov reward models, An analytical model for end-to-end communication channel over PLCN based on QBDs, CSL model checking algorithms for QBDs, Performance analysis for \((X,S)\)-bottleneck cell in large-scale wireless networks