@inproceedings{99f0646ddfbe4fa2908a29add170db32,
title = "VeStA: A statistical model-checker and analyzer for probabilistic systems",
abstract = "We give a brief overview of a statistical model-checking and analysis tool VESTA.",
author = "Koushik Sen and Mahesh Viswanathan and Gul Agha",
year = "2005",
doi = "10.1109/QEST.2005.42",
language = "English (US)",
isbn = "0769524273",
series = "QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems",
pages = "251--252",
booktitle = "QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems",
note = "QEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems ; Conference date: 19-09-2005 Through 22-09-2005",
}