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", }