70790040

a

70790040 Xing, Jiansheng Theelen, Bart D. Langerak, Rom Van De Pol, Jaco Tretmans, Jan Voeten, Jeroen UPPAAL in practice: quantitative verification of a rapidio network ISoLA (2), 160-174 (2010). 2010 EN

doi:10.1007/978-3-642-16561-0_20