TY  - GEN
AU  - Tang, Yong
TI  - Temporal information processing technology and its applications
SN  - 9783642149580
PY  - 2010///
CY  - Heidelberg
PB  - Springer
KW  - Temporal information
KW  - Temporal logic method
ER  -