Continuity controlled hybrid automata (Q2368692): Difference between revisions

@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / 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 @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953388
@@ Property / cites work: Q4953388 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for hybrid systems
@@ Property / cites work: Process algebra for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760247
@@ Property / cites work: Q2760247 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5186720
@@ Property / cites work: Q5186720 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418858
@@ Property / cites work: Q4418858 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid process algebra
@@ Property / cites work: Hybrid process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with propositional signals
@@ Property / cites work: Process algebra with propositional signals / rank @@
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792231
@@ Property / cites work: Q3792231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246811
@@ Property / cites work: Q4246811 / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid I/O automata.
@@ Property / cites work: Hybrid I/O automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Variable binding operators in transition system specifications
+Normal rank
@@ Property / cites work @@
+An alternative formulation of operational conservativity with binding terms.
+Normal rank
@@ Property / cites work @@
+Revisiting timing in process algebra.
@@ Property / cites work: Revisiting timing in process algebra. / rank @@
+Normal rank