Modular Synthesis of Timed Circuits using Partial Orders on LPNs (Q2842584): Difference between revisions

@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59859602
@@ Property / Wikidata QID: Q59859602 / 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 @@
+Q4037382
@@ Property / cites work: Q4037382 / 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 @@
+Defining conditional independence using collapses
@@ Property / cites work: Defining conditional independence using collapses / rank @@
+Normal rank
@@ Property / cites work @@
+On the learnability of infinitary regular sets
@@ Property / cites work: On the learnability of infinitary regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270073
@@ Property / cites work: Q4270073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037087
@@ Property / cites work: Q4037087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551149
@@ Property / cites work: Q4551149 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80476-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2039330627
@@ Property / OpenAlex ID: W2039330627 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/entcs/MercerMY02
@@ Property / DBLP publication ID: journals/entcs/MercerMY02 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2842584