Quan Zu

	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	Qingfeng Du	[1]
2	Jing Liu	[1]
3	Miaomiao Zhang	[1]