Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414): Difference between revisions

@@ Property / cites work @@
+KAT-ML: an interactive theorem prover for Kleene algebra with tests
+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 @@
+Process algebra for hybrid systems
@@ Property / cites work: Process algebra for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270068
@@ Property / cites work: Q4270068 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518893
@@ Property / cites work: Q4518893 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+An algebra of hybrid systems
@@ Property / cites work: An algebra of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in Kleene Algebra
@@ Property / cites work: Automated Reasoning in Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank
@@ Property / cites work @@
+Kleene getting lazy
@@ Property / cites work: Kleene getting lazy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948549
@@ Property / cites work: Q4948549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5290112
@@ Property / cites work: Q5290112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415087
@@ Property / cites work: Q4415087 / rank @@
+Normal rank
@@ Property / cites work @@
+SRASS - A Semantic Relevance Axiom Selection System
+Normal rank