Automatic verification of a class of systolic hardware circuits

Författare
Parosh Aziz Abdulla
(Parosh Abdulla)
Språk
Engelska
Förlag År Ort Om boken ISBN
1990 Sverige, Uppsala 41 sidor.