Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Skip to: 2005
Number of items: 1.

2005

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 Tue Jun 15 04:38:27 2021 CEST