Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
SIGMOD RECORD 2002
ADBIS 2002
CIKM 2002
CoopIS 2002
EDBT 2002
ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
SIGIR 2002
SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
<<< = TIME'02 papers>>>
VLDB 2002
VLDBJ 2002

TIME - Temporal Logic in Computer Science 1


On Non-Local Propositional and Local One-Variable Quantified CTL* On the Operational Semantics of Timed Rewrite Systems
Return to TIME session listing



DiSC'03 © 2003 Association for Computing Machinery