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 Tue Feb 17 05:23:54 2026 CET
