Composition of Accelerations to Verify Infinite Heterogeneous Systems.

Sbastien Bardin, Alain Finkel

Browse the full ATVA paper archive.