Formal framework for the specification, analysis and generation of standardized hypermedia documents

International Conference on Multimedia Computing and Systems -Proceedings

Volumn , Issue , 1996, Pages 399-406

  Willrich, Roberto ^a   Senac, Patrick ^a   Diazo, Michel ^a   de Saqui Sannes, Pierre ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA HANDLING; FORMAL LOGIC; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; PETRI NETS;

FORMAL FRAMEWORK; HIERARCHICAL TIME STREAM PETRI NET MODEL (HTSPN); HYPERMEDIA DOCUMENTS;

INFORMATION RETRIEVAL SYSTEMS;

EID: 0029719590     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)