Specification and verification of multimedia synchronization in duration calculus (Q1429426): Difference between revisions

@@ Property / author @@
-Huadong Ma
@@ Property / author: Huadong Ma / rank @@
-Normal rank
@@ Property / author @@
+Huadong Ma
@@ Property / author: Huadong Ma / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DCVALID
@@ Property / describes a project that uses: DCVALID / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126783
@@ Property / cites work: Q3126783 / rank @@
+Normal rank
@@ Property / cites work @@
+Multimedia data modeling based on temporal logic and \(XYZ\) system
+Normal rank
@@ Property / cites work @@
+Q4446388
@@ Property / cites work: Q4446388 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02948882
+Normal rank
@@ Property / OpenAlex ID @@
+W2031707979
@@ Property / OpenAlex ID: W2031707979 / rank @@
+Normal rank