Difficult configurations -- on the complexity of LTrL (Q1774566): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-005-4593-z
@@ Property / DOI: 10.1007/s10703-005-4593-z / 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/s10703-005-4593-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2027415891
@@ Property / OpenAlex ID: W2027415891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754145
@@ Property / cites work: Q2754145 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+A logical study of distributed transition systems
@@ Property / cites work: A logical study of distributed transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Proving partial order properties
@@ Property / cites work: Proving partial order properties / rank @@
+Normal rank
@@ Property / cites work @@
+On undecidability of propositional temporal logics on trace systems
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+An expressively complete linear time temporal logic for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+A stubborn attack on state explosion
@@ Property / cites work: A stubborn attack on state explosion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807834
@@ Property / cites work: Q4807834 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-005-4593-Z
@@ Property / DOI: 10.1007/S10703-005-4593-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1774566