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]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page