John Håkansson

发表

Wang Yi, Kim G. Larsen, John Håkansson, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).