Items where Author is "Guoxing, Zhao"
Group by: Item Type | No Grouping
Jump to: Journal article
Number of items: 1.
Guoxing, Zhao, Ma, J., Fuxing, S. and Petridis, M. (2008) A sound and complete reified temporal logic Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. pp. 111-116.