Induction in the timed interval calculus (Q1399964): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692471
@@ Property / cites work: Q4692471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494114
@@ Property / cites work: Q4494114 / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4213375
@@ Property / cites work: Q4213375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128862
@@ Property / cites work: Q3128862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680239
@@ Property / cites work: Q3680239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126783
@@ Property / cites work: Q3126783 / rank @@
+Normal rank
@@ Property / cites work @@
+A specification-oriented semantics for the refinement of real-time systems
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems
@@ Property / cites work: Hybrid systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1399964