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

Simple item page
dc.contributor.authorTabrizi, N.en
dc.contributor.authorLiebelt, Michael J.en
dc.contributor.authorEshraghian, Kamranen
dc.date.issued1997en
dc.identifier.citationIEEE Transactions on Computers. 46(9):1050-1054en
dc.identifier.urihttp://hdl.handle.net/2440/2310
dc.language.isoenen
dc.titleA tabular method for guard strengthening, symmetrization and operator reduction for Martin's asynchronous design methodologyen
dc.typeJournal articleen

Files

Collections

Electrical and Electronic Engineering publications
Environment Institute publications