Skip to content
cs-conference-ranking.org

ATV: An Abstract Timing Verifier.

David E. Wallace, Carlo H. Squin

VenueA*DAC
Year1988
ProceedingsDAC
DBLP recordconf/dac/WallaceS88 ↗

Browse the full DAC paper archive.