"Towards a Formal Approach for Verifying Temporal Coherence in a SMIL ..."

Details and statistics

DOI: 10.1007/978-3-642-41366-7_11

access: closed

type: Withdrawn Item

metadata version: 2017-05-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics