David Hoenig

According to our database1, David Hoenig authored at least 1 paper in 2008.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2008
Janus: A novel use of Formal Verification for targeted behavioral equivalence.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008


  Loading...