Proving and explaining the unfeasibility of message sequence charts for hybrid systems.

Alessandro Cimatti, Sergio Mover, Stefano Tonetta

Browse the full FMCAD paper archive.