Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0


Order by: Document Type | Year of publication | No order
Number of items: 1.

Conference or workshop publication

Majster-Cederbaum, Mila ; Sun, Xiuli ; Wu, Jinzhao ; Song, Xiaoyu Formal Specification of Asynchronous Processors via Action Refinement. Abadir, Magdy S. 36-41 In: Proceedings / 5th International Workshop on Microprocessor Test and Verification : common challenges and solutions ; Austin, Texas, September 9 - 10, 2004 (2005) Los Alamitos, Calif. [u.a.] [Conference or workshop publication]

This list was created automatically on Thu Dec 8 05:11:58 2022 CET