| emsoft | participants

Alessandro Cimatti

EMSOFT 2013: 13th International Conference on Embedded Software

Time-Aware Relational Abstractions for Hybrid Systems

Sergio Mover, Alessandro Cimatti, Ashish Tiwari, and Stefano Tonetta