Refinement of Kripke Models for Dynamics (Q5505597): Difference between revisions

@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804892
@@ Property / cites work: Q4804892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738471
@@ Property / cites work: Q4738471 / rank @@
+Normal rank
@@ Property / cites work @@
+Update semantics of security protocols
@@ Property / cites work: Update semantics of security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank