The Applied Pi Calculus (Q3177888): Difference between revisions

@@ Property / describes a project that uses @@
+YAPA
@@ Property / describes a project that uses: YAPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProVerif
@@ Property / describes a project that uses: ProVerif / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AVISPA
@@ Property / describes a project that uses: AVISPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoSP
@@ Property / describes a project that uses: CoSP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2522035104
@@ Property / OpenAlex ID: W2522035104 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03003
@@ Property / arXiv ID: 1609.03003 / rank @@
+Normal rank