2010 17th International Symposium on Temporal Representation and Reasoning
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By IEEE

9781424480142
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models

2010 ◽  
Author(s):  
Luca Anselma ◽  
Paolo Terenziani ◽  
Richard T. Snodgrass
Keyword(s):  
Relational Databases ◽  
Data Models ◽  
Valid Time

scholarly journals Real Time Properties for Interrupt Timed Automata

2010 ◽  
Author(s):  
Beatrice Berard ◽  
Serge Haddad ◽  
Mathieu Sassolas
Keyword(s):  
Real Time ◽  
Timed Automata

scholarly journals Counting LTL

2010 ◽  
Author(s):  
Francois Laroussinie ◽  
Antoine Meyer ◽  
Eudes Petonnet
Load More ...
Sign in / Sign up

Export Citation Format

Share Document