A tabular method for guard strengthening, symmetrization and operator reduction for Martin's asynchronous design methodology

Date

1997

Authors

Tabrizi, N.
Liebelt, Michael J.
Eshraghian, Kamran

Editors

Advisors

Journal Title

Journal ISSN

Volume Title

Type:

Journal article

Citation

IEEE Transactions on Computers. 46(9):1050-1054

Statement of Responsibility

Conference Name

Abstract

School/Discipline

Dissertation Note

Provenance

Description

Access Status

Rights

License

Grant ID

Published Version

Call number

Persistent link to this record

http://hdl.handle.net/2440/2310