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

@@ Property / describes a project that uses @@
+SPASS+T
@@ Property / describes a project that uses: SPASS+T / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-78913-0_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1583398073
@@ Property / OpenAlex ID: W1583398073 / rank @@
+Normal rank
@@ 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