Skip to content
cs-conference-ranking.org

Formal verification of a real-time hardware design.

Zerksis D. Umrigar, Vijay Pitchumani

VenueA*DAC
Year1983
ProceedingsDAC
DBLP recordconf/dac/UmrigarP83 ↗

Browse the full DAC paper archive.