Verification of heterogeneous systems: Theory and industrial experiences.

Christoph Grimm, Emmanuelle Encrenaz

Browse the full FDL paper archive.