Lerner, Sorin.
Overview
| Works: | 36 works in 0 publications in 0 languages | |
|---|---|---|
Titles
High-level verificationmethods and tools for verification of system-level designs /
by:
Gupta, Rajesh K.; Kundu, Sudipta.; Lerner, Sorin.; SpringerLink (Online service)
(Electronic resources)