Skip navigation

Browse by Journal Title

Browse by Journal Title

Up a level
Export as [feed] RSS
Group by: Creators | Item Type | Uncontrolled Keywords | No Grouping
Number of items: 1.

Zhao, Guoxing, Ma, Jixin, Shen, Fuxing and Petridis, Miltos (2008) A sound and complete reified temporal logic. In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. IEEE Conference Publications . Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 111-116. ISBN 978-0-7695-3263-9 (doi:10.1109/SNPD.2008.16)

This list was generated on Sun Apr 22 06:16:02 2018 BST.