External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid, Djamel Djenouri. Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method. Transactions of the SDPS, 20(3):39-70, 2016. [doi]

Authors

Fatma Zohra Mekahlia

This author has not been identified. Look up 'Fatma Zohra Mekahlia' in Google

Abdelghani Ghomari

This author has not been identified. Look up 'Abdelghani Ghomari' in Google

Samy Yazid

This author has not been identified. Look up 'Samy Yazid' in Google

Djamel Djenouri

This author has not been identified. Look up 'Djamel Djenouri' in Google
runs on