External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Specification of an Asynchronous Processor via Action Refinement

Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum. Formal Specification of an Asynchronous Processor via Action Refinement. In Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), Common Challenges and Solutions, 08-10 September 2004, Austin, Texas, USA. pages 36-41, IEEE Computer Society, 2004. [doi]

Authors

Xiuli Sun

This author has not been identified. Look up 'Xiuli Sun' in Google

Jinzhao Wu

This author has not been identified. Look up 'Jinzhao Wu' in Google

Xiaoyu Song

This author has not been identified. Look up 'Xiaoyu Song' in Google

Mila E. Majster-Cederbaum

This author has not been identified. Look up 'Mila E. Majster-Cederbaum' in Google
runs on