%0 Conference Paper %1 conf/medi/GhomariBMD13 %B MEDI %D 2013 %E Cuzzocrea, Alfredo %E Maabout, Sofian %I Springer %K dblp %P 132-146 %T Towards a Formal Approach for Verifying Temporal Coherence in a SMIL Document Presentation. %U http://dblp.uni-trier.de/db/conf/medi/medi2013.html#GhomariBMD13 %V 8216 %@ 978-3-642-41365-0

@inproceedings{conf/medi/GhomariBMD13, added-at = {2017-02-24T00:00:00.000+0100}, biburl = {https://www.bibsonomy.org/bibtex/2625cb52108b093556a42ece53f489a36/dblp}, booktitle = {MEDI}, crossref = {conf/medi/2013}, editor = {Cuzzocrea, Alfredo and Maabout, Sofian}, ee = {http://dx.doi.org/10.1007/978-3-642-41366-7_11}, interhash = {ddba856fc86b85eda5f273fc6e568e72}, intrahash = {625cb52108b093556a42ece53f489a36}, isbn = {978-3-642-41365-0}, keywords = {dblp}, pages = {132-146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-02-25T11:34:35.000+0100}, title = {Towards a Formal Approach for Verifying Temporal Coherence in a SMIL Document Presentation.}, url = {http://dblp.uni-trier.de/db/conf/medi/medi2013.html#GhomariBMD13}, volume = 8216, year = 2013 }