DSpace at RU >

Browsing by Author Yi, W.

Full Text	Issue Date	Title	Author(s)
	2006	Uppaal 4.0	Behrmann, G.; David, A.; Larsen, K.G.; Håkansson, J.; Pettersson, P., et al
	2005	Model Checking the Time to Reach Agreement	Hendriks, M.; Pettersson, P.; Yi, W.
	2005	Guidelines for a Graduate Curriculum on Embedded Software and Systems	Caspi, P.; Sangiovanni-Vincentelli, A.; Almeida, L.; Benveniste, A.; Bouyssounouse, B., et al