A system for deduction-based formal verification of workflow-oriented software models (Q2018423): Difference between revisions

@@ Property / OpenAlex ID @@
+W3123419187
@@ Property / OpenAlex ID: W3123419187 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1978
@@ Property / arXiv ID: 1402.1978 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935259
@@ Property / cites work: Q4935259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846258
@@ Property / cites work: Q4846258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction for verification
@@ Property / cites work: Automated deduction for verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851821
@@ Property / cites work: Q2851821 / rank @@
+Normal rank
@@ Property / cites work @@
+Property specifications for workflow modelling
@@ Property / cites work: Property specifications for workflow modelling / rank @@
+Normal rank