Erratum: Towards a Formal Approach for Verifying Temporal Coherence in a SMIL Document Presentation.

Browse the full MEDI paper archive.