A rigorous methodology for specification and verification of business processes (Q1037243): Difference between revisions

@@ Property / describes a project that uses @@
+SATIRE
@@ Property / describes a project that uses: SATIRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TLC
@@ Property / describes a project that uses: TLC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / 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/s00165-009-0106-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2030435982
@@ Property / OpenAlex ID: W2030435982 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting for satisfiability by inverting resolution
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Counting the number of solutions for instances of satisfiability
+Normal rank
@@ Property / cites work @@
+Q4040147
@@ Property / cites work: Q4040147 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
+Normal rank
@@ Property / cites work @@
+Solving the incremental satisfiability problem
@@ Property / cites work: Solving the incremental satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+CNF-Satisfiability Test by Counting and Polynomial Average Time
+Normal rank
@@ Property / cites work @@
+A Graph-Theoretic Approach for Timing Analysis and its Implementation
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003339
@@ Property / cites work: Q4003339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3350793
@@ Property / cites work: Q3350793 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737002
@@ Property / cites work: Q4737002 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / cites work @@
+Inheritance of Business Processes: A Journey Visiting Four Notorious Problems
+Normal rank
@@ Property / cites work @@
+Number of models and satisfiability of sets of clauses
+Normal rank