Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (Q5079769): Difference between revisions

@@ label / en / label / en @@
+Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach
@@ Property / DOI @@
-.4230/LIPIcs.TIME.2018.5
@@ Property / DOI: 10.4230/LIPIcs.TIME.2018.5 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Rabinizer
@@ Property / describes a project that uses: Rabinizer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TTM
@@ Property / describes a project that uses: TTM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+Cut-free sequent systems for temporal logic
@@ Property / cites work: Cut-free sequent systems for temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722045
@@ Property / cites work: Q4722045 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual systems of tableaux and sequents for PLTL
@@ Property / cites work: Dual systems of tableaux and sequents for PLTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3761688
@@ Property / cites work: Q3761688 / rank @@
+Normal rank
@@ Property / cites work @@
+Rabinizer 2: Small Deterministic Automata for LTL ∖ GU
+Normal rank
@@ Property / cites work @@
+FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3219755
@@ Property / cites work: Q3219755 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.4230/LIPIcs.TIME.2018.5
+Normal rank
@@ Property / OpenAlex ID @@
+W2898734050
@@ Property / OpenAlex ID: W2898734050 / rank @@
+Normal rank
@@ Property / title @@
+Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.TIME.2018.5
@@ Property / DOI: 10.4230/LIPICS.TIME.2018.5 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5079769