A compiler for MSVL and its applications (Q1630985): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2017.07.032
@@ Property / DOI: 10.1016/j.tcs.2017.07.032 / rank @@
-Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426387
@@ Property / cites work: Q4426387 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Fairness modulo theory: a new approach to LTL software model checking
+Normal rank
@@ Property / cites work @@
+A decision procedure for propositional projection temporal logic with infinite models
+Normal rank
@@ Property / cites work @@
+A mechanism of function calls in MSVL
@@ Property / cites work: A mechanism of function calls in MSVL / rank @@
+Normal rank
@@ Property / cites work @@
+A cylinder computation model for many-core parallel computing
+Normal rank
@@ Property / cites work @@
+Linear temporal logic as an executable semantics for planning languages
+Normal rank
@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+TALplanner: A temporal logic based forward chaining planner
+Normal rank
@@ Property / cites work @@
+Q4449309
@@ Property / cites work: Q4449309 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2017.07.032
@@ Property / DOI: 10.1016/J.TCS.2017.07.032 / rank @@
+Normal rank