Revisiting the concept of hypermedia document consistency
Da Análise de Consistência à Formatação Temporal de um Documento Hipermídia Usando RT-LOTOS
About the semantic verification of SMIL documents
Using a Formal Method to Verify the Temporal Semantics of SMIL Documents
Celso Alberto Saibel Santos
J. P. COURTIAT
J. -. COURTIAT
J. COURTIAT