Campos, S., Ribeiro-Neto, B., Macedo, A., and Bertini, L., 1999. Formal verification and analysis of multimedia systems. In: Proceedings of the 7th ACM International Conference on Multimedia (Part 1), ACM Press, New York, 419--430. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automatic goal-oriented classification of failure behaviors.. - Chan, Cheng, Tse (2005) (Correct)
No context found.
Campos, S., Ribeiro-Neto, B., Macedo, A., and Bertini, L., 1999. Formal verification and analysis of multimedia systems. In: Proceedings of the 7th ACM International Conference on Multimedia (Part 1), ACM Press, New York, 419--430.
Modeling and Analyzing SMIL Documents in SAM - Huiqun Yu Xudong (Correct)
No context found.
S. Campos, B. Ribeiro-Neto, A. Macedo, and L. Bertini. Formal verification and analysis of multimedia systems. In Proceedings of the 7th ACM International Conference on Multimedia (Part 1), pages 419--430, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC