Design, Specification and Verification of Interactive Systems ’98: Proceedings o

SPECIFICATION AND VERIFICATION OF SYSTOLIC ARRAYS

Design, Specification and Verification of Interactive Systems '95: Proceedings o

SPECIFICATION AND VERIFICATION OF SYSTOLIC ARRAYS, Bayoumi M.SC. Ph.D., Magdy A

Markopoulos - Design Specification and Verification of Interactive Sy - X555z

Design Specification and Verification of Interactive Systems '98

Formal Specification and Verification in Visi Design (Edinburgh Information Tech

Design, Specification and Verification of Interactive Systems '95: Proce 2201218