Skip to content

Checking Sequence Generation Using State Distinguishing Subsequences.

Adenilso da Silva Simo, Alexandre Petrenko

VenueAICST
Year2009
ProceedingsICST Workshops

Browse the full ICST paper archive.