@inproceedings{c9ff3d946e804827b184a1b8ceed7c2f,
title = "Learning Probabilistic Automata for Model Checking",
author = "Hua Mao and Yingke Chen and Manfred Jaeger and Nielsen, {Thomas Dyhre} and Larsen, {Kim Guldstrand} and Brian Nielsen",
year = "2011",
doi = "10.1109/QEST.2011.21",
language = "English",
isbn = "978-1-4577-0973-9",
pages = "111--120",
booktitle = "8th International Conference on Quantitative Evaluation of Systems (QEST)",
publisher = "IEEE",
address = "United States",
note = "Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on ; Conference date: 05-08-2011 Through 08-08-2011",
}