Skip navigation

Browse by Journal Title

Browse by Journal Title

Up a level
Export as [feed] RSS
Jump to: Z
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:

This list was generated on Wed Jun 19 03:45:30 2024 UTC.