Analysis of Linear Hybrid Systems in CLP (Q3617430): Difference between revisions

@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1570080582
@@ Property / OpenAlex ID: W1570080582 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411960
@@ Property / cites work: Q4411960 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Languages and Tools for Hybrid Systems Design
@@ Property / cites work: Languages and Tools for Hybrid Systems Design / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic basis for the termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Abstract interpretation of logic programs using magic transformations
+Normal rank
@@ Property / cites work @@
+Q2703729
@@ Property / cites work: Q2703729 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Termination Conditions for Logic Programs Using Backwards Analysis
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming and Its Applications
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499252
@@ Property / cites work: Q4499252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723916
@@ Property / cites work: Q2723916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767073
@@ Property / cites work: Q2767073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809159
@@ Property / cites work: Q4809159 / rank @@
+Normal rank
@@ Property / cites work @@
+Convex Hull Abstractions in Specialization of CLP Programs
+Normal rank
@@ Property / cites work @@
+Q2722046
@@ Property / cites work: Q2722046 / rank @@
+Normal rank