Tang, Yong <br/><br/>
Temporal information processing technology and its applications 
Yong Tang, Xiaoping Ye and Na Tang 
 - Heidelberg  Springer  2010 
 - xviii, 349p. 
<br/><br/><label>ISBN: </label>9783642149580 
<br/><br/><label>Subjects--Index Terms: </label>Temporal information Temporal logic method 
<br/><br/><label>Universal Decimal Class. No.: </label>004.657  / TAN  R