Skip to content
cs-conference-ranking.org

High-Level Test Generation Using Symbolic Scheduling.

Mark C. Hansen, John P. Hayes

VenueAITC
Year1995
ProceedingsITC
DBLP recordconf/itc/HansenH95 ↗

Browse the full ITC paper archive.