Composition methods for constructing characteristic formulas for dense-time models (Q1938922): Difference between revisions

@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalence as a bisimulation equivalence
@@ Property / cites work: Testing equivalence as a bisimulation equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030238
@@ Property / cites work: Q3030238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4507811
@@ Property / cites work: Q4507811 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Comparing the worst-case efficiency of asynchronous systems with PAFAS
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769597
@@ Property / cites work: Q2769597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3152932
@@ Property / cites work: Q3152932 / rank @@
+Normal rank
@@ Property / cites work @@
+From timed automata to logic — and back
@@ Property / cites work: From timed automata to logic — and back / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank