Polyhedra-Based Approach for Incremental Validation of Real-Time Systems.

David Doose, Zoubir Mammeri

Browse the full EUC paper archive.