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

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0361768812060023
+Normal rank
@@ Property / OpenAlex ID @@
+W2032760362
@@ Property / OpenAlex ID: W2032760362 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1938922