![](/img/cover-not-exists.png)
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems
Sven Verdoolaege, Martin Palkovič, Maurice Bruynooghe, Gerda Janssens, Francky CatthoorVolume:
26
Language:
english
Pages:
14
DOI:
10.1007/s10836-009-5140-4
Date:
April, 2010
File:
PDF, 575 KB
english, 2010