Learning continuous time markov chains from sample executions
By
BibTeX
@inproceedings{conf/qest/SenVA04,
author = "Sen, Koushik and Viswanathan, Mahesh and Agha, Gul",
title = "Learning Continuous Time Markov Chains from Sample
Executions",
booktitle = "QEST",
crossref = "conf/qest/2004",
ee = "http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10014",
keywords = "formal methods",
pages = "146-155",
year = "2004",
}
@proceedings{conf/qest/2004,
title = "1st International Conference on Quantitative Evaluation
of Systems (QEST 2004), 27-30 September 2004, Enschede, The
Netherlands",
isbn = "0-7695-2185-1",
publisher = "IEEE Computer Society",
year = "2004",
}