Graciela Gonzalez, Chitta Baral, Peter A. Cooper. Modeling Multimedia Displays Using Action Based Temporal Logic. In Xiaofang Zhou, Pearl Pu, editors, Visual and Multimedia Information Management, IFIP TC2/WG2.6 Sixth Working Conference on Visual Database Systems, May 29-31, 2002, Bisbane, Australia. Volume 216 of IFIP Conference Proceedings, pages 141-155, Kluwer, 2002.
Abstract is missing.