Items where Author is "Guoxing, Zhao"
Group by: Item Type | No Grouping 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. |
| Login |
