Alain J. Martin. Tomorrow s Digital Hardware will be Asynchronous and Verified. In Jan van Leeuwen, editor, Algorithms, Software, Architecture - Information Processing 92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992. Volume A-12 of IFIP Transactions, pages 684-695, North-Holland, 1992.
Abstract is missing.