000 00512 a2200169 4500
005 20151026133256.0
008 141004b xxu||||| |||| 00| 0 eng d
020 _a9783642149580
080 _a004.657
_bTAN R
100 _aTang, Yong
245 _aTemporal information processing technology and its applications
_cYong Tang, Xiaoping Ye and Na Tang
260 _c2010
_bSpringer
_aHeidelberg
300 _axviii, 349p.
653 _aTemporal information
653 _aTemporal logic method
942 _cREF
999 _c66980
_d66980