Sign in

Time-aware relational abstractions for hybrid systems.

Sergio MoverAlessandro CimattiAshish TiwariStefano Tonetta
Published in: EMSOFT (2013)
Keyphrases