A Hybrid Denotational Semantics for Hybrid Systems (Q5458386): Difference between revisions

@@ Property / cites work @@
+Q4953375
@@ Property / cites work: Q4953375 / rank @@
+Normal rank
@@ Property / cites work @@
+Variance analyses from invariance analyses
@@ Property / cites work: Variance analyses from invariance analyses / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Denotational Semantics for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid process algebra
@@ Property / cites work: Hybrid process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory and differential calculus (functions of one variable)
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+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 @@
+Q4738356
@@ Property / cites work: Q4738356 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with continuous change
@@ Property / cites work: Computing with continuous change / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of nonlinear hybrid systems
@@ Property / cites work: Algorithmic analysis of nonlinear hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246818
@@ Property / cites work: Q4246818 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for ordinary differential equations
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Syntax and consistent equation semantics of hybrid Chi
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank