Verdoolaege, SvenSvenVerdoolaegePalkovic, MartinMartinPalkovicBruynooghe, MauriceMauriceBruynoogheJanssens, GerdaGerdaJanssensCatthoor, FranckyFranckyCatthoor2021-10-182021-10-182009https://imec-publications.be/handle/20.500.12860/16466Experience with widening based equivalence checking in realistic multimedia systemsProceedings paper