Nihal Pekergin, Sana Younès. CSRL model checking with closed-form bounding distributions. In John S. Baras, Costas Courcoubetis, editors, 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2008, Athens, Greece, October 20-24, 2008. pages 21, ICST/ACM, 2008. [doi]
Abstract is missing.