Abstract Interpretation of Combinational Asynchronous Circuits

Sarah Thompson, Alan Mycroft. Abstract Interpretation of Combinational Asynchronous Circuits. In Roberto Giacobazzi, editor, Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings. Volume 3148 of Lecture Notes in Computer Science, pages 181-196, Springer, 2004. [doi]

Abstract

Abstract is missing.