Skip to content
cs-conference-ranking.org

State Reduction Using Reversible Rules.

C. Norris Ip, David L. Dill

VenueA*DAC
Year1996
ProceedingsDAC
DBLP recordconf/dac/IpD96 ↗

Browse the full DAC paper archive.