%0 Journal Article %1 journals/et/VerdoolaegePBJC10 %A Verdoolaege, Sven %A Palkovic, Martin %A Bruynooghe, Maurice %A Janssens, Gerda %A Catthoor, Francky %D 2010 %J J. Electron. Test. %K dblp %N 2 %P 279-292 %T Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. %U http://dblp.uni-trier.de/db/journals/et/et26.html#VerdoolaegePBJC10 %V 26

@article{journals/et/VerdoolaegePBJC10, added-at = {2020-09-11T00:00:00.000+0200}, author = {Verdoolaege, Sven and Palkovic, Martin and Bruynooghe, Maurice and Janssens, Gerda and Catthoor, Francky}, biburl = {https://www.bibsonomy.org/bibtex/2ac62d4b353c1755978952c0b2222d57e/dblp}, ee = {https://doi.org/10.1007/s10836-009-5140-4}, interhash = {992a3c9b3784a70b96dab29457d0557a}, intrahash = {ac62d4b353c1755978952c0b2222d57e}, journal = {J. Electron. Test.}, keywords = {dblp}, number = 2, pages = {279-292}, timestamp = {2020-09-12T11:40:38.000+0200}, title = {Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems.}, url = {http://dblp.uni-trier.de/db/journals/et/et26.html#VerdoolaegePBJC10}, volume = 26, year = 2010 }