Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
= TIME'01 Website
<<< = TIME'01 papers>>>
VLDB 2001
VLDBJ 2001

TIME - Regular Papers 3


Hybrid Ockhamist Temporal Logic Deciding LTL over Mazurkiewicz Traces Checking Linear Temporal Formulas on Sequential Recursive Petri Nets Reasoning about agents in the KARO framework Symbolic Model Checking of Real-Time Systems
Return to TIME session listing



DiSC'02 © 2003 Association for Computing Machinery