Skip to content

PROTEST: a tool for probabilistic testability analysis.

Hans-Joachim Wunderlich

VenueA*DAC
Year1985
ProceedingsDAC

Browse the full DAC paper archive.