Verification of Asynchronous Circuits using Timed Automata (Q2842571): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Timing verification by successive approximation
@@ Property / cites work: Timing verification by successive approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251920
@@ Property / cites work: Q4251920 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized ternary simulation of sequential circuits
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Q5558258
@@ Property / cites work: Q5558258 / rank @@
+Normal rank