Learning Probabilistic Automata for Model Checking

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Standard

Learning Probabilistic Automata for Model Checking. / Mao, Hua ; Chen, Yingke ; Jaeger, Manfred ; Nielsen, Thomas Dyhre ; Larsen, Kim Guldstrand ; Nielsen, Brian.

8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. s. 111-120.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Harvard

Mao, H , Chen, Y , Jaeger, M , Nielsen, TD , Larsen, KG & Nielsen, B 2011, 'Learning Probabilistic Automata for Model Checking'. i 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, s. 111-120.

APA

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G., & Nielsen, B. (2011). Learning Probabilistic Automata for Model Checking. I 8th International Conference on Quantitative Evaluation of Systems (QEST). (s. 111-120). IEEE. doi: 10.1109/QEST.2011.21

CBE

Mao H , Chen Y , Jaeger M , Nielsen TD , Larsen KG , Nielsen B. 2011. Learning Probabilistic Automata for Model Checking. I 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE. s. 111-120.

MLA

Mao, Hua et al. "Learning Probabilistic Automata for Model Checking". 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE. 2011. 111-120.

Vancouver

Mao H , Chen Y , Jaeger M , Nielsen TD , Larsen KG , Nielsen B. Learning Probabilistic Automata for Model Checking. I 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE. 2011. s. 111-120.

Author

Mao, Hua ; Chen, Yingke ; Jaeger, Manfred ; Nielsen, Thomas Dyhre ; Larsen, Kim Guldstrand ; Nielsen, Brian / Learning Probabilistic Automata for Model Checking.

8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. s. 111-120.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Bibtex

@inbook{c9ff3d946e804827b184a1b8ceed7c2f,

title = "Learning Probabilistic Automata for Model Checking",

publisher = "IEEE",

author = "Hua Mao and Yingke Chen and Manfred Jaeger and Nielsen, {Thomas Dyhre} and Larsen, {Kim Guldstrand} and Brian Nielsen",

year = "2011",

isbn = "978-1-4577-0973-9",

pages = "111-120",

booktitle = "8th International Conference on Quantitative Evaluation of Systems (QEST)",

}

RIS

TY - GEN

T1 - Learning Probabilistic Automata for Model Checking

A1 - Mao,Hua

A1 - Chen,Yingke

A1 - Jaeger,Manfred

A1 - Nielsen,Thomas Dyhre

A1 - Larsen,Kim Guldstrand

A1 - Nielsen,Brian

AU - Mao,Hua

AU - Chen,Yingke

AU - Jaeger,Manfred

AU - Nielsen,Thomas Dyhre

AU - Larsen,Kim Guldstrand

AU - Nielsen,Brian

PB - IEEE

PY - 2011

Y1 - 2011

UR - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6042035

U2 - 10.1109/QEST.2011.21

DO - 10.1109/QEST.2011.21

SN - 978-1-4577-0973-9

BT - 8th International Conference on Quantitative Evaluation of Systems (QEST)

T2 - 8th International Conference on Quantitative Evaluation of Systems (QEST)

SP - 111

EP - 120

ER -