| emsoft | participants

Stefano Tonetta

EMSOFT 2013: 13th International Conference on Embedded Software

Time-Aware Relational Abstractions for Hybrid Systems

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