Modeling Multimedia Displays Using Action Based Temporal Logic.

Graciela Gonzalez Chitta Baral Peter A. Cooper Modeling Multimedia Displays Using Action Based Temporal Logic. 141-155 2002 conf/vdb/2002 VDB db/conf/vdb/vdb2002.html#GonzalezBC02