research
Temporal Logics on Words with Multiple Data Values
- Publication date
- 1 January 2010
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)