Please use this identifier to cite or link to this item:
|Title:||A tabular method for guard strengthening, symmetrization and operator reduction for Martin's asynchronous design methodology|
Liebelt, Michael J.
|Citation:||IEEE Transactions on Computers. 46(9):1050-1054|
|Appears in Collections:||Electrical and Electronic Engineering publications|
Environment Institute publications
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.