Verdoolaege, SvenSvenVerdoolaegePalkovic, MartinMartinPalkovicBruynooghe, MauriceMauriceBruynoogheJanssens, GerdaGerdaJanssensCatthoor, FranckyFranckyCatthoor2021-10-182021-10-1820100923-8174https://imec-publications.be/handle/20.500.12860/18263Experience with widening based equivalence checking in realistic multimedia systemsJournal article