Experience with widening based equivalence checking in realistic multimedia systems

Metadata

Show full item record

Authors

Verdoolaege, Sven; Palkovic, Martin; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky

ISSN

0923-8174

Issue

2

Journal

Journal of Electronic Testing

Volume

26

Title

Experience with widening based equivalence checking in realistic multimedia systems

Publication type

Journal article

Collections

Articles