![](/img/cover-not-exists.png)
[IEEE 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Phuket, Thailand (2008.08.6-2008.08.8)] 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - A Sound and Complete Reified Temporal Logic
Zhao, Guoxing, Ma, Jixin, Shen, Fuxing, Petridis, MiltosYear:
2008
Language:
english
DOI:
10.1109/snpd.2008.16
File:
PDF, 333 KB
english, 2008