Weimin Liu, Huadong Ma. Modeling Video-on-Demand System in Temporal Logic. In Heung-Yeung Shum, Mark Liao, Shih-Fu Chang, editors, Advances in Multimedia Information Processing - PCM 2001, Second IEEE Pacific Rim Conference on Multimedia, Bejing, China, October 24-26, 2001, Proceedings. Volume 2195 of Lecture Notes in Computer Science, pages 983-988, Springer, 2001. [doi]
Abstract is missing.