Login / Signup

A Decidable Class of Planar Linear Hybrid Systems.

Pavithra PrabhakarVladimeros VladimerouMahesh ViswanathanGeir E. Dullerud
Published in: HSCC (2008)
Keyphrases