2012 Ninth International Conference on Quantitative Evaluation of Systems - 最新文献
Pub Date : 2012-09-17
DOI: 10.1109/QEST.2012.27
R. A. Hayden
Pub Date : 2012-09-17
DOI: 10.1109/QEST.2012.32
V. Venkatesan, I. Iliadis
Pub Date : 2012-09-17
DOI: 10.1109/QEST.2012.21
Friedrich Gretz, J. Katoen, Annabelle McIver
查看全部