Login / Signup

Generating Polynomial Invariants for Hybrid Systems.

Enric Rodríguez-CarbonellAshish Tiwari
Published in: HSCC (2005)
Keyphrases