Symbolic methods in simulation-based verification

Not available === text

Bibliographic Details
Main Author: Yuan, Jun
Format: Others
Language:English
Published: 2008
Subjects:
Online Access:http://hdl.handle.net/2152/1077