Assisting requirement formalization by means of natural language translation (Q1329090): Difference between revisions

@@ Property / cites work @@
+Q4864264
@@ Property / cites work: Q4864264 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+An action-based framework for veryfying logical and behavioural properties of concurrent systems
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Automatizing parametric reasoning on distributed concurrent systems
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037120
@@ Property / cites work: Q4037120 / rank @@
+Normal rank