Model checking usage policies (Q5740636): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SAFKASI
@@ Property / describes a project that uses: SAFKASI / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Usage Automata
@@ Property / cites work: Usage Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-state unification automata and relational languages
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
+Normal rank
@@ Property / cites work @@
+Automata and Logics for Words and Trees over an Infinite Alphabet
+Normal rank
@@ Property / cites work @@
+Variable Automata over Infinite Alphabets
@@ Property / cites work: Variable Automata over Infinite Alphabets / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5740636