Items where Author is "Guoxing, Zhao"
Group by: Item Type | No Grouping Jump to: Journal article Number of items: 1.
Journal articleGuoxing, 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. |
| Login |
