Automatic synthesis of real time systems (Q4645208): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-60084-1_103
+Normal rank
@@ Property / OpenAlex ID @@
+W1532236270
@@ Property / OpenAlex ID: W1532236270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757803
@@ Property / cites work: Q2757803 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732449
@@ Property / cites work: Q4732449 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038716
@@ Property / cites work: Q4038716 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality Through an Operational Semantics of Contexts
+Normal rank
@@ Property / cites work @@
+Time-abstracted bisimulation: Implicit specifications and decidability
+Normal rank
@@ Property / cites work @@
+From ATP to timed graphs and hybrid systems
@@ Property / cites work: From ATP to timed graphs and hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Submodule construction as equation solving in CCS
@@ Property / cites work: Submodule construction as equation solving in CCS / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4645208