Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems

Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor. Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. J. Electronic Testing, 26(2):279-292, 2010. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.