Automated deduction in a graphical temporal logic (Q4868233): Difference between revisions

@@ Property / author @@
-Louise E. Moser
@@ Property / author: Louise E. Moser / rank @@
-Normal rank
@@ Property / author @@
-P. Michael Melliar-Smith
@@ Property / author: P. Michael Melliar-Smith / rank @@
-Normal rank
@@ Property / author @@
+Louise E. Moser
@@ Property / author: Louise E. Moser / rank @@
+Normal rank
@@ Property / author @@
+P. Michael Melliar-Smith
@@ Property / author: P. Michael Melliar-Smith / 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.1080/11663081.1996.10510865
+Normal rank
@@ Property / OpenAlex ID @@
+W1964059460
@@ Property / OpenAlex ID: W1964059460 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4868233