Login / Signup

Experience with widening based equivalence checking in realistic multimedia systems.

Sven VerdoolaegeMartin PalkovicMaurice BruynoogheGerda JanssensFrancky Catthoor
Published in: HLDVT (2009)
Keyphrases