Login / Signup

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

David DooseZoubir Mammeri
Published in: EUC (2005)
Keyphrases