Axioms for real-time logics (Q5958467): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342094
@@ Property / cites work: Q4342094 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying message passing and time-critical systems with temporal logic
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733399
@@ Property / cites work: Q4733399 / rank @@
+Normal rank
@@ Property / cites work @@
+Incompleteness of first-order temporal logic with until
+Normal rank
@@ Property / cites work @@
+Q3948585
@@ Property / cites work: Q3948585 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00308-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2007555774
@@ Property / OpenAlex ID: W2007555774 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5958467