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]
@inproceedings{PekerginY08,
title = {CSRL model checking with closed-form bounding distributions},
author = {Nihal Pekergin and Sana Younès},
year = {2008},
doi = {10.4108/ICST.VALUETOOLS2008.4688},
url = {http://dx.doi.org/10.4108/ICST.VALUETOOLS2008.4688},
researchr = {https://researchr.org/publication/PekerginY08},
cites = {0},
citedby = {0},
pages = {21},
booktitle = {3rd International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2008, Athens, Greece, October 20-24, 2008},
editor = {John S. Baras and Costas Courcoubetis},
publisher = {ICST/ACM},
isbn = {978-963-9799-31-8},
}