GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic (Q5458337): Difference between revisions

@@ Property / describes a project that uses @@
+LTL2BA
@@ Property / describes a project that uses: LTL2BA / rank @@
+Normal rank
@@ 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/978-3-540-78800-3_26
+Normal rank
@@ Property / OpenAlex ID @@
+W1585581063
@@ Property / OpenAlex ID: W1585581063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817549
@@ Property / cites work: Q4817549 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422087
@@ Property / cites work: Q4422087 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Verification by augmented finitary abstraction
@@ Property / cites work: Verification by augmented finitary abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Weak alternating automata are not that weak
@@ Property / cites work: Weak alternating automata are not that weak / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754087
@@ Property / cites work: Q2754087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480170
@@ Property / cites work: Q5480170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941152
@@ Property / cites work: Q4941152 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5458337