Specification and verification of data-driven Web applications (Q878758): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational transducers for electronic commerce
@@ Property / cites work: Relational transducers for electronic commerce / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of transaction logic
@@ Property / cites work: An overview of transaction logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+The Implication Problem for Functional and Inclusion Dependencies is Undecidable
+Normal rank
@@ Property / cites work @@
+Q4739565
@@ Property / cites work: Q4739565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817541
@@ Property / cites work: Q4817541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417897
@@ Property / cites work: Q4417897 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Q2753716
@@ Property / cites work: Q2753716 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of relational transducers for electronic commerce
+Normal rank