Qingfeng Du

	2008
1		Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du: Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. HASE 2008: 445-448

Coauthor Index

1	Jing Liu	[1]
2	Miaomiao Zhang	[1]
3	Quan Zu	[1]